1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

(case
  (name "store buffering")
  (names x y)
  (bound 8)
  (threads
    ((store 0 1)
     (load 1 0))
    ((store 1 1)
     (load 0 0)))
  (candidates (0 1) (1 1))
  (goal (outcome (registers (0 0 0) (1 0 0)) (memory ) (drained false))))