edits

[cdsspec-compiler.git] / output / ms-queue / testcase2.c

diff --git a/output/ms-queue/testcase2.c b/output/ms-queue/testcase2.c
index f5b21332a7379d1aaf522d78c979d6e822c59f30..116df3596a8251ffba9cf91c443de9686815a0d4 100644 (file)
--- a/output/ms-queue/testcase2.c
+++ b/output/ms-queue/testcase2.c
@@ -5,7 +5,7 @@
 #include "my_queue.h"
 #include "model-assert.h"
 
-static int procs = 2;
+static int procs = 3;
 static queue_t *queue;
 static thrd_t *threads;
 static unsigned int *input;
@@ -37,13 +37,9 @@ static void main_task(void *param)
                else
                        printf("Thrd 1: Dequeue NULL.\n");
        } else if (pid % 4 == 1) {
+               enqueue(queue, 1);
+       } else if (pid % 4 == 2) {
                enqueue(queue, 2);
-               output2 = 1;
-               succ2 = dequeue(queue, &output2);
-               if (succ2)
-                       printf("Thrd 2: Dequeue %d.\n", output2);
-               else
-                       printf("Thrd 2: Dequeue NULL.\n");
        }
 }