testcase for ms-queue to expose SC violation

[model-checker-benchmarks.git] / ms-queue / testcase1.c

diff --git a/ms-queue/testcase1.c b/ms-queue/testcase1.c
index b416c7df199f0fb6aa982befe74b94d24162fdcd..1275726be71ffbf982026940b86d221cbdd7ed20 100644 (file)
--- a/ms-queue/testcase1.c
+++ b/ms-queue/testcase1.c
@@ -34,10 +34,10 @@ static void main_task(void *param)
        int pid = *((int *)param);
        if (pid % 4 == 0) {
                atomic_store_explicit(&x[0], 1, memory_order_relaxed);
-               enqueue(queue, 0, false);
+               enqueue(queue, 0, 0);
        } else if (pid % 4 == 1) {
                atomic_store_explicit(&x[1], 1, memory_order_relaxed);
-               enqueue(queue, 1, false);
+               enqueue(queue, 1, 0);
        } else if (pid % 4 == 2) {
                succ1 = dequeue(queue, &idx1, &reclaimNode);
                if (succ1) {