X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=chase-lev-deque-bugfix%2Ftestcase1.c;fp=chase-lev-deque-bugfix%2Ftestcase1.c;h=6d344c26e38a1016dc606dfbdfa8c86dded595fa;hb=0c0b00b61459795a2c3efff49189844f88057599;hp=7d60fd5dafc21c130a957fd777260fa34c072c45;hpb=7c7e31a160e2327090e2a4ed74d48fbae4ae20e9;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/testcase1.c b/chase-lev-deque-bugfix/testcase1.c
index 7d60fd5..6d344c2 100644
--- 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) {