changes

[model-checker-benchmarks.git] / chase-lev-deque-bugfix / testcase1.c

diff --git a/chase-lev-deque-bugfix/testcase1.c b/chase-lev-deque-bugfix/testcase1.c
index 7d60fd5dafc21c130a957fd777260fa34c072c45..6d344c26e38a1016dc606dfbdfa8c86dded595fa 100644 (file)
--- a/chase-lev-deque-bugfix/testcase1.c
+++ b/chase-lev-deque-bugfix/testcase1.c
@@ -16,7 +16,8 @@ int c;
 atomic_int x[2];
 
 /**
-       Synchronization between plain push and steal
+       Synchronization between plain push and steal (making w31 release and w35
+       acquire)
 */
 
 static void task(void * param) {