projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
testcase for ms-queue to expose SC violation
[model-checker-benchmarks.git]
/
ms-queue
/
testcase2.c
diff --git
a/ms-queue/testcase2.c
b/ms-queue/testcase2.c
index e862239198ecc690983e63b58ac4411c656c1525..408b39db847fc19dc465b58b7d42a23846b9dff4 100644
(file)
--- a/
ms-queue/testcase2.c
+++ b/
ms-queue/testcase2.c
@@
-39,7
+39,7
@@
static void main_task(void *param)
*/
} 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) {