1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

(case
  (name "store buffering with explicit fences")
  (names x y)
  (bound 10)
  (threads
    ((store 0 1)
     (fence)
     (load 1 0))
    ((store 1 1)
     (fence)
     (load 0 0)))
  (candidates )
  (goal (outcome (registers (0 0 0) (1 0 0)) (memory ) (drained false))))