changes
[cdsspec-compiler.git] / benchmark / ms-queue / my_queue.h
index 576ce9e..90f5775 100644 (file)
@@ -111,7 +111,7 @@ void enqueue(queue_t *q, unsigned int val);
                        _Old_Val = get_data(front(__queue));
                        pop_front(__queue);
                }
-               model_print("Dequeue: __RET=%d, retVal=%d\n", __RET__, *retVal);
+               model_print("Dequeue: __RET__=%d, retVal=%d, Old_Val=%d\n", __RET__, *retVal, _Old_Val);
        @Post_check:
                _Old_Val == 0 ? !__RET__ : _Old_Val == *retVal
        @End