changes

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

diff --git a/chase-lev-deque-bugfix/testcase8.c b/chase-lev-deque-bugfix/testcase8.c
index a2387d47496579c08ac4f0a04a61978c68db7641..bb8539eef8f31c28c29e8f6a4ccc5e81a1277fdf 100644 (file)
--- a/chase-lev-deque-bugfix/testcase8.c
+++ b/chase-lev-deque-bugfix/testcase8.c
@@ -23,16 +23,16 @@ int user_main(int argc, char **argv)
        q=create();
 
        push(q, 1);
-       push(q, 2);
+       //push(q, 2);
        //push(q, 3);
        thrd_create(&t1, task, 0);
        thrd_create(&t2, task, 0);
-       thrd_create(&t3, task, 0);
+       //thrd_create(&t3, task, 0);
        a=take(q);
        //c=take(q);
        thrd_join(t1);
        thrd_join(t2);
-       thrd_join(t3);
+       //thrd_join(t3);
 
 /*
        bool correct=true;