deque results

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

diff --git a/chase-lev-deque-bugfix/testcase2.c b/chase-lev-deque-bugfix/testcase2.c
index fe77b178342953450f089ad6536b9d7595d21231..f3b22abefbf119c8403bb71d95c703aa1929d29f 100644 (file)
--- a/chase-lev-deque-bugfix/testcase2.c
+++ b/chase-lev-deque-bugfix/testcase2.c
@@ -14,7 +14,7 @@ int b;
 int c;
 
 /**
-       Making w39 seq_cst; the two steals and the take have the following:
+       Making the two fences (w8 & w34) seq_cst; the two steals and the take have the following:
        t.CAS() (in steal1)          b.store (in take)
        fence() (in steal2)              fence() (in take)
        b.load() (in steal2)         t.load() (in take)