save more

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / main.c

diff --git a/benchmark/chase-lev-deque-bugfix/main.c b/benchmark/chase-lev-deque-bugfix/main.c
index f2e8dca8b17f5a628a35992a3a26ab714bf4d81b..786aa3c9e975a6b013886887b3d375a98ba68560 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/main.c
+++ b/benchmark/chase-lev-deque-bugfix/main.c
@@ -14,11 +14,17 @@ int b;
 int c;
 
 static void task(void * param) {
+       //a=steal(q);
        a=steal(q);
 }
 
 int user_main(int argc, char **argv)
 {
+       /**
+               @Begin
+               @Entry_point
+               @End
+       */
        thrd_t t;
        q=create();
        thrd_create(&t, task, 0);
@@ -28,7 +34,7 @@ int user_main(int argc, char **argv)
        b=take(q);
        c=take(q);
        thrd_join(t);
-
+/*
        bool correct=true;
        if (a!=1 && a!=2 && a!=4 && a!= EMPTY)
                correct=false;
@@ -40,7 +46,8 @@ int user_main(int argc, char **argv)
                correct=false;
        if (!correct)
                printf("a=%d b=%d c=%d\n",a,b,c);
-       MODEL_ASSERT(correct);
+               */
+       //MODEL_ASSERT(correct);
 
        return 0;
 }