X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fms-queue%2Fmy_queue.c;h=fdea1a4bab7148323c07d0edc6d5e5ba62d4b9ce;hp=b942be572b09d83aca4892ac11f2ba1588ee0342;hb=660ed177edb1a5750969661cb4df4626edf80bc0;hpb=dddb190f43cd31d29dd0ce06739fc9cd22f25f73

diff --git a/benchmark/ms-queue/my_queue.c b/benchmark/ms-queue/my_queue.c
index b942be5..fdea1a4 100644
--- a/benchmark/ms-queue/my_queue.c
+++ b/benchmark/ms-queue/my_queue.c
@@ -194,6 +194,7 @@ bool dequeue(queue_t *q, int *retVal)
 		 * relaxed (it introduces a bug when there's two dequeuers and one
 		 * enqueuer) correctness bug!!
 		 */
+		/**** SPEC (sequential) (testcase1.c) ****/
 		/**** New bug ****/
 		tail = atomic_load_explicit(&q->tail, acquire);