fixed mpmc spec

[cdsspec-compiler.git] / benchmark / ms-queue / main.c

diff --git a/benchmark/ms-queue/main.c b/benchmark/ms-queue/main.c
index b541b010c2837d04e798b6db73a2eb4d3dbc4f31..0346c1ddeb97db4f2f58b56d2681b852e2a0fccd 100644 (file)
--- a/benchmark/ms-queue/main.c
+++ b/benchmark/ms-queue/main.c
@@ -41,6 +41,11 @@ static void main_task(void *param)
 
 int user_main(int argc, char **argv)
 {
+       /**
+               @Begin
+               @Entry_point
+               @End
+       */
        int i;
        int *param;
        unsigned int in_sum = 0, out_sum = 0;
@@ -70,7 +75,7 @@ int user_main(int argc, char **argv)
                printf("input[%d] = %u\n", i, input[i]);
        for (i = 0; i < num_threads; i++)
                printf("output[%d] = %u\n", i, output[i]);
-       MODEL_ASSERT(in_sum == out_sum);
+       //MODEL_ASSERT(in_sum == out_sum);
 
        free(param);
        free(threads);