From: Peizhao Ou Date: Wed, 18 Mar 2015 04:32:46 +0000 (-0700) Subject: edits X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=206cda9ceeb0ac1d5efe9aecc8102b35d8bb3db7;p=model-checker-benchmarks.git edits --- diff --git a/chase-lev-deque-bugfix/interesting.txt b/chase-lev-deque-bugfix/interesting.txt new file mode 100644 index 0000000..6fbce65 --- /dev/null +++ b/chase-lev-deque-bugfix/interesting.txt @@ -0,0 +1,39 @@ +Result 3: +wildcard 1 -> memory_order_relaxed +wildcard 2 -> memory_order_relaxed +wildcard 3 -> memory_order_relaxed +wildcard 4 -> memory_order_relaxed +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_relaxed +wildcard 10 -> memory_order_relaxed +wildcard 11 -> memory_order_relaxed +wildcard 12 -> memory_order_acquire +wildcard 14 -> memory_order_relaxed +wildcard 15 -> memory_order_relaxed +wildcard 16 -> memory_order_relaxed +wildcard 17 -> memory_order_relaxed +wildcard 18 -> memory_order_relaxed +wildcard 19 -> memory_order_relaxed +wildcard 20 -> memory_order_relaxed +wildcard 21 -> memory_order_relaxed +wildcard 22 -> memory_order_relaxed +wildcard 23 -> memory_order_release +wildcard 24 -> memory_order_relaxed +wildcard 25 -> memory_order_acquire +wildcard 26 -> memory_order_relaxed +wildcard 27 -> memory_order_relaxed +wildcard 28 -> memory_order_relaxed +wildcard 29 -> memory_order_relaxed +wildcard 30 -> memory_order_relaxed +wildcard 31 -> memory_order_release +wildcard 32 -> memory_order_relaxed +wildcard 33 -> memory_order_relaxed +wildcard 34 -> memory_order_seq_cst +wildcard 35 -> memory_order_acquire +wildcard 36 -> memory_order_acquire +wildcard 37 -> memory_order_relaxed +wildcard 38 -> memory_order_relaxed +wildcard 39 -> memory_order_release