changes

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

diff --git a/chase-lev-deque-bugfix/testcase4.c b/chase-lev-deque-bugfix/testcase4.c
index af332bfb689c3196a69ed5b049c1b3deff332bc8..93eaa526dc72e34902994ccd9240a8d37ea02f5a 100644 (file)
--- a/chase-lev-deque-bugfix/testcase4.c
+++ b/chase-lev-deque-bugfix/testcase4.c
@@ -13,6 +13,9 @@ int a;
 int b;
 int c;
 
+/** Making either w7 release or w9 acquire, the previously nos-SCness in the SC
+ *  analysis */
+
 static void task(void * param) {
        b=steal(q);
 }
@@ -22,9 +25,9 @@ int user_main(int argc, char **argv)
        thrd_t t1, t2;
        q=create();
 
+       thrd_create(&t1, task, 0);
        push(q, 1);
        push(q, 2);
-       thrd_create(&t1, task, 0);
        push(q, 3);
        //thrd_create(&t2, task, 0);
        //a=take(q);