changes

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

diff --git a/chase-lev-deque-bugfix/testcase1.c b/chase-lev-deque-bugfix/testcase1.c
index 026d20f69d2c7bf79ee7412968afabc65cc89318..7d60fd5dafc21c130a957fd777260fa34c072c45 100644 (file)
--- a/chase-lev-deque-bugfix/testcase1.c
+++ b/chase-lev-deque-bugfix/testcase1.c
@@ -15,6 +15,10 @@ int c;
 
 atomic_int x[2];
 
+/**
+       Synchronization between plain push and steal
+*/
+
 static void task(void * param) {
        a=steal(q);
        printf("a=%d\n", a);