changes

[model-checker-benchmarks.git] / chase-lev-deque-bugfix / interesting.txt

diff --git a/chase-lev-deque-bugfix/interesting.txt b/chase-lev-deque-bugfix/interesting.txt
index f708c1701c92651653bf215425a30cbef8703fea..48acef284e26ff2e26ee838a608ea07e373c2676 100644 (file)
--- a/chase-lev-deque-bugfix/interesting.txt
+++ b/chase-lev-deque-bugfix/interesting.txt
@@ -7,12 +7,12 @@ wildcard 5 -> memory_order_relaxed
 wildcard 6 -> memory_order_relaxed
 wildcard 7 -> memory_order_relaxed
 wildcard 8 -> memory_order_seq_cst
-wildcard 9 -> memory_order_acquire
+wildcard 9 -> memory_order_relaxed
 wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_relaxed
 wildcard 12 -> memory_order_acquire
 wildcard 14 -> memory_order_release
-wildcard 15 -> memory_order_release
+wildcard 15 -> memory_order_relaxed
 wildcard 16 -> memory_order_relaxed
 wildcard 17 -> memory_order_relaxed
 wildcard 18 -> memory_order_relaxed