changes

[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;
 
 /**
 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)
        t.CAS() (in steal1)          b.store (in take)
        fence() (in steal2)              fence() (in take)
        b.load() (in steal2)         t.load() (in take)