~james/reorder/cases/spinlock.sexp

1 (case
2   (name "atomic exchange spinlock")
3   (names lock)
4   (bound 14)
5   (threads
6     ((exchange 0 0 1)
7      (branch 0 1 0)
8      (enter)
9      (leave)
10      (store 0 0))
11     ((exchange 0 0 1)
12      (branch 0 1 0)
13      (enter)
14      (leave)
15      (store 0 0)))
16   (candidates )
17   (goal overlap))
1	(case
2	(name "atomic exchange spinlock")
3	(names lock)
4	(bound 14)
5	(threads
6	((exchange 0 0 1)
7	(branch 0 1 0)
8	(enter)
9	(leave)
10	(store 0 0))
11	((exchange 0 0 1)
12	(branch 0 1 0)
13	(enter)
14	(leave)
15	(store 0 0)))
16	(candidates )
17	(goal overlap))