testcase for ms-queue to expose SC violation

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

diff --git a/ms-queue/queue.c b/ms-queue/queue.c
index c7b5de58dd3369af21e85c98feb1aa0461176eb9..bcdc98b9a258a91950bee9bb7e6f6628277ef751 100644 (file)
--- a/ms-queue/queue.c
+++ b/ms-queue/queue.c
@@ -83,7 +83,7 @@ void init_queue(queue_t *q, int num_threads)
        atomic_init(&q->nodes[1].next, MAKE_POINTER(0, 0));
 }
 
-void enqueue(queue_t *q, unsigned int val, bool yield)
+void enqueue(queue_t *q, unsigned int val, int n)
 {
        int success = 0;
        unsigned int node;