lein test jepsen.system.etcd-test INFO jepsen.os.debian - :n4 setting up debian INFO jepsen.os.debian - :n5 setting up debian INFO jepsen.os.debian - :n1 setting up debian INFO jepsen.os.debian - :n2 setting up debian INFO jepsen.os.debian - :n3 setting up debian INFO jepsen.os.debian - :n2 debian set up INFO jepsen.os.debian - :n3 debian set up INFO jepsen.os.debian - :n1 debian set up INFO jepsen.os.debian - :n5 debian set up INFO jepsen.os.debian - :n4 debian set up INFO jepsen.system.etcd - :n3 etcd nuked INFO jepsen.system.etcd - :n1 etcd nuked INFO jepsen.system.etcd - :n5 etcd nuked INFO jepsen.system.etcd - :n4 etcd nuked INFO jepsen.system.etcd - :n2 etcd nuked INFO jepsen.system.etcd - Running nodes: {:n1 false, :n2 false, :n3 false, :n4 false, :n5 false} INFO jepsen.system.etcd - :n5 etcd nuked INFO jepsen.system.etcd - :n4 etcd nuked INFO jepsen.system.etcd - :n3 etcd nuked INFO jepsen.system.etcd - :n2 etcd nuked INFO jepsen.system.etcd - :n1 etcd nuked INFO jepsen.system.etcd - :n1 starting etcd INFO jepsen.system.etcd - :n5 starting etcd INFO jepsen.system.etcd - :n3 starting etcd INFO jepsen.system.etcd - :n2 starting etcd INFO jepsen.system.etcd - :n4 starting etcd INFO jepsen.system.etcd - Running nodes: {:n1 true, :n2 true, :n3 true, :n4 true, :n5 true} INFO jepsen.system.etcd - :n5 etcd ready INFO jepsen.system.etcd - :n2 etcd ready INFO jepsen.system.etcd - :n3 etcd ready INFO jepsen.system.etcd - :n4 etcd ready INFO jepsen.system.etcd - :n1 etcd ready INFO jepsen.core - Worker 2 starting INFO jepsen.core - Worker 0 starting INFO jepsen.core - Worker 3 starting INFO jepsen.core - Worker 4 starting INFO jepsen.core - Worker 1 starting INFO jepsen.util - 2 :invoke :read nil INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 4 :invoke :write 0 INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 3 :ok :read nil INFO jepsen.util - 2 :ok :read nil INFO jepsen.util - 0 :ok :read nil INFO jepsen.util - 4 :ok :write 0 INFO jepsen.util - 1 :invoke :cas [4 3] INFO jepsen.util - 1 :fail :cas [4 3] INFO jepsen.util - 3 :invoke :write 1 INFO jepsen.util - 2 :invoke :write 3 INFO jepsen.util - 0 :invoke :write 1 INFO jepsen.util - 2 :ok :write 3 INFO jepsen.util - 4 :invoke :cas [4 3] INFO jepsen.util - 4 :fail :cas [4 3] INFO jepsen.util - 3 :ok :write 1 INFO jepsen.util - 0 :ok :write 1 INFO jepsen.util - 1 :invoke :cas [1 0] INFO jepsen.util - 1 :ok :cas [1 0] INFO jepsen.util - 2 :invoke :cas [3 3] INFO jepsen.util - 2 :fail :cas [3 3] INFO jepsen.util - 4 :invoke :write 2 INFO jepsen.util - 3 :invoke :cas [1 1] INFO jepsen.util - 0 :invoke :cas [2 2] INFO jepsen.util - 4 :ok :write 2 INFO jepsen.util - 0 :ok :cas [2 2] INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 2 INFO jepsen.util - 3 :fail :cas [1 1] INFO jepsen.util - 2 :invoke :cas [3 3] INFO jepsen.util - 2 :fail :cas [3 3] INFO jepsen.util - 4 :invoke :cas [3 3] INFO jepsen.util - 4 :fail :cas [3 3] INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 1 :invoke :write 4 INFO jepsen.util - 0 :ok :read 2 INFO jepsen.util - 1 :ok :write 4 INFO jepsen.util - 3 :invoke :cas [3 1] INFO jepsen.util - :nemesis :info :start nil INFO jepsen.util - 3 :fail :cas [3 1] INFO jepsen.util - 2 :invoke :cas [1 0] INFO jepsen.util - 2 :fail :cas [1 0] INFO jepsen.util - 4 :invoke :cas [0 1] INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 4 INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 4 INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}" INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 4 INFO jepsen.util - 2 :invoke :cas [0 3] INFO jepsen.util - 4 :info :cas :timed-out INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 4 INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 4 INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 4 INFO jepsen.util - 2 :info :cas :timed-out INFO jepsen.util - 9 :invoke :cas [2 2] INFO jepsen.util - 0 :invoke :cas [3 1] INFO jepsen.util - 0 :fail :cas [3 1] INFO jepsen.util - 1 :invoke :write 0 INFO jepsen.util - 1 :ok :write 0 INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 0 INFO jepsen.util - 7 :invoke :cas [4 3] INFO jepsen.util - 9 :info :cas :timed-out INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 0 INFO jepsen.util - 1 :invoke :cas [4 4] INFO jepsen.util - 1 :fail :cas [4 4] INFO jepsen.util - 3 :invoke :cas [0 4] INFO jepsen.util - 3 :ok :cas [0 4] INFO jepsen.util - 7 :info :cas :timed-out INFO jepsen.util - 14 :invoke :cas [0 1] INFO jepsen.util - 0 :invoke :write 4 INFO jepsen.util - 1 :invoke :cas [2 3] INFO jepsen.util - 0 :ok :write 4 INFO jepsen.util - 1 :fail :cas [2 3] INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 4 INFO jepsen.util - 12 :invoke :read nil INFO jepsen.util - 12 :ok :read 4 INFO jepsen.util - 14 :info :cas :timed-out INFO jepsen.util - 0 :invoke :cas [4 4] INFO jepsen.util - 1 :invoke :write 3 INFO jepsen.util - :nemesis :info :stop nil INFO jepsen.util - 3 :invoke :write 0 INFO jepsen.util - 1 :ok :write 3 INFO jepsen.util - :nemesis :info :stop "fully connected" INFO jepsen.util - 3 :ok :write 0 INFO jepsen.util - 0 :ok :cas [4 4] INFO jepsen.util - 12 :invoke :read nil INFO jepsen.util - 12 :ok :read 4 INFO jepsen.util - 19 :invoke :cas [3 2] INFO jepsen.util - 19 :fail :cas [3 2] INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 0 INFO jepsen.util - 3 :invoke :cas [0 4] INFO jepsen.util - 0 :invoke :cas [2 3] INFO jepsen.util - 12 :invoke :write 0 INFO jepsen.util - 3 :ok :cas [0 4] INFO jepsen.util - 0 :fail :cas [2 3] INFO jepsen.util - 19 :invoke :cas [3 4] INFO jepsen.util - 19 :fail :cas [3 4] INFO jepsen.util - 1 :invoke :cas [1 2] INFO jepsen.util - 1 :fail :cas [1 2] INFO jepsen.util - 12 :info :write :timed-out INFO jepsen.util - 3 :invoke :cas [4 4] INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 0 INFO jepsen.util - 3 :fail :cas [4 4] INFO jepsen.util - 19 :invoke :cas [0 4] INFO jepsen.util - 19 :ok :cas [0 4] INFO jepsen.util - 1 :invoke :cas [4 0] INFO jepsen.util - 1 :ok :cas [4 0] INFO jepsen.util - 17 :invoke :write 4 INFO jepsen.util - 17 :ok :write 4 INFO jepsen.util - 0 :invoke :write 3 INFO jepsen.util - 0 :ok :write 3 INFO jepsen.util - 3 :invoke :write 3 INFO jepsen.util - 3 :ok :write 3 INFO jepsen.util - 19 :invoke :write 0 INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 3 INFO jepsen.util - 19 :ok :write 0 INFO jepsen.util - 17 :invoke :write 0 INFO jepsen.util - 17 :ok :write 0 INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 0 INFO jepsen.util - 3 :invoke :write 1 INFO jepsen.util - 3 :ok :write 1 INFO jepsen.util - :nemesis :info :start nil INFO jepsen.util - 1 :invoke :write 1 INFO jepsen.util - 19 :invoke :read nil INFO jepsen.util - 19 :ok :read 1 INFO jepsen.util - 17 :invoke :cas [3 3] INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 0 :ok :read 1 INFO jepsen.util - 1 :ok :write 1 INFO jepsen.util - 17 :fail :cas [3 3] INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 1 INFO jepsen.util - :nemesis :info :start "Cut off {:n2 #{:n5 :n1}, :n4 #{:n5 :n1}, :n3 #{:n5 :n1}, :n1 #{:n3 :n4 :n2}, :n5 #{:n3 :n4 :n2}}" INFO jepsen.util - 19 :invoke :read nil INFO jepsen.util - 19 :ok :read 1 INFO jepsen.util - 0 :invoke :read nil INFO jepsen.util - 1 :invoke :cas [1 0] INFO jepsen.util - 0 :ok :read 1 INFO jepsen.util - 1 :ok :cas [1 0] INFO jepsen.util - 17 :invoke :read nil INFO jepsen.util - 17 :ok :read 0 INFO jepsen.util - 3 :invoke :read nil INFO jepsen.util - 3 :ok :read 0 INFO jepsen.util - 19 :invoke :write 0 INFO jepsen.util - 0 :invoke :cas [1 4] INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 0 INFO jepsen.util - 17 :invoke :read nil INFO jepsen.util - 17 :ok :read 0 INFO jepsen.util - 3 :invoke :write 0 INFO jepsen.util - 3 :ok :write 0 INFO jepsen.util - 19 :info :write :timed-out INFO jepsen.util - 0 :info :cas :timed-out INFO jepsen.util - 1 :invoke :read nil INFO jepsen.util - 1 :ok :read 0 INFO jepsen.util - 17 :invoke :cas [4 1] INFO jepsen.util - 17 :fail :cas [4 1] INFO jepsen.util - 3 :invoke :cas [0 2] INFO jepsen.util - 24 :invoke :cas [2 3] INFO jepsen.util - 3 :ok :cas [0 2] INFO jepsen.util - 5 :invoke :read nil INFO jepsen.util - 5 :ok :read 1 INFO jepsen.util - 1 :invoke :cas [1 0] INFO jepsen.util - 1 :fail :cas [1 0] INFO jepsen.util - 17 :invoke :write 4 INFO jepsen.util - 17 :ok :write 4 INFO jepsen.util - 24 :info :cas :timed-out INFO jepsen.util - :nemesis :info :stop nil INFO jepsen.util - :nemesis :info :stop "fully connected" INFO jepsen.util - :nemesis :info :stop nil INFO jepsen.util - :nemesis :info :stop "fully connected" INFO jepsen.core - nemesis done INFO jepsen.util - 3 :invoke :read nil INFO jepsen.core - Worker 0 done INFO jepsen.core - Worker 2 done INFO jepsen.core - Worker 4 done INFO jepsen.core - Worker 1 done INFO jepsen.util - 3 :ok :read 4 INFO jepsen.core - Worker 3 done INFO jepsen.core - Run complete, writing INFO jepsen.core - Analyzing INFO knossos.core - [94 / 186] 87 extant worlds, 735 visited/s, 45 skipped/s, hitrate 0.058 cache size 502 INFO knossos.core - [94 / 186] 75 extant worlds, 639 visited/s, 54 skipped/s, hitrate 0.078 cache size 757 INFO knossos.core - [94 / 186] 94 extant worlds, 1090 visited/s, 85 skipped/s, hitrate 0.072 cache size 1227 INFO knossos.core - [94 / 186] 111 extant worlds, 1139 visited/s, 86 skipped/s, hitrate 0.071 cache size 1864 INFO knossos.core - [94 / 186] 117 extant worlds, 798 visited/s, 64 skipped/s, hitrate 0.074 cache size 2230 INFO knossos.core - [94 / 186] 105 extant worlds, 931 visited/s, 78 skipped/s, hitrate 0.078 cache size 2638 INFO knossos.core - [94 / 186] 77 extant worlds, 919 visited/s, 79 skipped/s, hitrate 0.079 cache size 3038 INFO knossos.core - [94 / 186] 79 extant worlds, 846 visited/s, 67 skipped/s, hitrate 0.074 cache size 3451 INFO knossos.core - [94 / 186] 66 extant worlds, 790 visited/s, 65 skipped/s, hitrate 0.077 cache size 3789 INFO knossos.core - [94 / 186] 88 extant worlds, 1056 visited/s, 77 skipped/s, hitrate 0.069 cache size 4359 INFO knossos.core - [94 / 186] 58 extant worlds, 881 visited/s, 77 skipped/s, hitrate 0.081 cache size 4697 INFO knossos.core - [94 / 186] 88 extant worlds, 922 visited/s, 70 skipped/s, hitrate 0.071 cache size 5206 INFO knossos.core - [94 / 186] 62 extant worlds, 951 visited/s, 80 skipped/s, hitrate 0.078 cache size 5619 INFO knossos.core - [94 / 186] 85 extant worlds, 991 visited/s, 76 skipped/s, hitrate 0.071 cache size 6117 INFO knossos.core - [94 / 186] 101 extant worlds, 1007 visited/s, 83 skipped/s, hitrate 0.076 cache size 6604 INFO knossos.core - [94 / 186] 63 extant worlds, 823 visited/s, 69 skipped/s, hitrate 0.078 cache size 6927 INFO knossos.core - [94 / 186] 76 extant worlds, 927 visited/s, 71 skipped/s, hitrate 0.072 cache size 7414 INFO knossos.core - [94 / 186] 45 extant worlds, 776 visited/s, 70 skipped/s, hitrate 0.083 cache size 7696 INFO knossos.core - [94 / 186] 33 extant worlds, 964 visited/s, 80 skipped/s, hitrate 0.077 cache size 8159 INFO knossos.core - [94 / 186] 29 extant worlds, 1108 visited/s, 96 skipped/s, hitrate 0.080 cache size 8679 INFO jepsen.core - Analysis complete INFO jepsen.system.etcd - :n5 etcd nuked INFO jepsen.system.etcd - :n4 etcd nuked INFO jepsen.system.etcd - :n2 etcd nuked INFO jepsen.system.etcd - :n3 etcd nuked INFO jepsen.system.etcd - :n1 etcd nuked lein test :only jepsen.system.etcd-test/register-test FAIL in (register-test) (etcd_test.clj:45) expected: (:valid? (:results test)) actual: false Not linearizable. Linearizable prefix was: 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 3 :ok :read nil 2 :ok :read nil 0 :ok :read nil 4 :ok :write 0 1 :invoke :cas [4 3] 1 :fail :cas [4 3] 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 2 :ok :write 3 4 :invoke :cas [4 3] 4 :fail :cas [4 3] 3 :ok :write 1 0 :ok :write 1 1 :invoke :cas [1 0] 1 :ok :cas [1 0] 2 :invoke :cas [3 3] 2 :fail :cas [3 3] 4 :invoke :write 2 3 :invoke :cas [1 1] 0 :invoke :cas [2 2] 4 :ok :write 2 0 :ok :cas [2 2] 1 :invoke :read 2 1 :ok :read 2 3 :fail :cas [1 1] 2 :invoke :cas [3 3] 2 :fail :cas [3 3] 4 :invoke :cas [3 3] 4 :fail :cas [3 3] 0 :invoke :read 2 1 :invoke :write 4 0 :ok :read 2 1 :ok :write 4 3 :invoke :cas [3 1] :nemesis :info :start nil 3 :fail :cas [3 1] 2 :invoke :cas [1 0] 2 :fail :cas [1 0] 4 :invoke :cas [0 1] 0 :invoke :read 4 0 :ok :read 4 1 :invoke :read 4 1 :ok :read 4 :nemesis :info :start "Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}" 3 :invoke :read 4 3 :ok :read 4 2 :invoke :cas [0 3] 4 :info :cas :timed-out 0 :invoke :read 4 0 :ok :read 4 1 :invoke :read 4 1 :ok :read 4 3 :invoke :read 4 3 :ok :read 4 2 :info :cas :timed-out 9 :invoke :cas [2 2] 0 :invoke :cas [3 1] 0 :fail :cas [3 1] 1 :invoke :write 0 1 :ok :write 0 3 :invoke :read 0 3 :ok :read 0 7 :invoke :cas [4 3] 9 :info :cas :timed-out 0 :invoke :read 0 0 :ok :read 0 1 :invoke :cas [4 4] 1 :fail :cas [4 4] 3 :invoke :cas [0 4] 3 :ok :cas [0 4] 7 :info :cas :timed-out 14 :invoke :cas [0 1] 0 :invoke :write 4 1 :invoke :cas [2 3] 0 :ok :write 4 1 :fail :cas [2 3] 3 :invoke :read 4 3 :ok :read 4 12 :invoke :read 4 12 :ok :read 4 14 :info :cas :timed-out 0 :invoke :cas [4 4] 1 :invoke :write 3 :nemesis :info :stop nil 3 :invoke :write 0 1 :ok :write 3 :nemesis :info :stop "fully connected" 3 :ok :write 0 0 :ok :cas [4 4] Followed by inconsistent operation: 12 :invoke :read 4 ------------------------------------------------------------- Just prior to that operation, possible interpretations of the linearizable prefix were: World with fixed history: 2 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 7 :invoke :cas [4 3] 4 :invoke :cas [0 1] World with fixed history: 4 :invoke :write 0 0 :invoke :read nil 3 :invoke :read nil 2 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 2 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 1 :invoke :write 3 3 :invoke :write 0 led to state: {:value 0} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 4 :invoke :write 0 0 :invoke :read nil 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 1 :invoke :write 3 3 :invoke :write 0 4 :invoke :cas [0 1] led to state: {:value 1} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 2 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 1 :invoke :write 3 3 :invoke :write 0 2 :invoke :cas [0 3] led to state: {:value 3} with pending operations: 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 7 :invoke :cas [4 3] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 0 :invoke :read nil 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 2 :invoke :cas [0 3] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 2 :invoke :cas [0 3] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 2 :invoke :read nil 4 :invoke :write 0 0 :invoke :read nil 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 1 :invoke :write 3 3 :invoke :write 0 4 :invoke :cas [0 1] led to state: {:value 1} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] World with fixed history: 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 4 :invoke :write 0 0 :invoke :read nil 3 :invoke :read nil 2 :invoke :read nil 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 2 :invoke :cas [0 3] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 7 :invoke :cas [4 3] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 3 :invoke :read nil 4 :invoke :write 0 0 :invoke :read nil 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 7 :invoke :cas [4 3] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 0 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 0 :invoke :read nil 2 :invoke :read nil 4 :invoke :write 0 0 :invoke :write 1 2 :invoke :write 3 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 1 :invoke :write 3 3 :invoke :write 0 2 :invoke :cas [0 3] led to state: {:value 3} with pending operations: 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 0 :invoke :read nil 3 :invoke :read nil 4 :invoke :write 0 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 4 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 4 :invoke :write 0 0 :invoke :read nil 2 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 led to state: {:value 0} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 4 :invoke :write 0 2 :invoke :read nil 3 :invoke :read nil 0 :invoke :read nil 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 4 :invoke :cas [0 1] led to state: {:value 1} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 2 :invoke :read nil 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 led to state: {:value 0} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 3 :invoke :read nil 2 :invoke :read nil 4 :invoke :write 0 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 7 :invoke :cas [4 3] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 3 :invoke :read nil 4 :invoke :write 0 0 :invoke :read nil 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 3 :invoke :write 0 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 7 :invoke :cas [4 3] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 2 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 14 :invoke :cas [0 1] led to state: {:value 1} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 0 :invoke :read nil 2 :invoke :write 3 3 :invoke :write 1 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 2 :invoke :cas [0 3] led to state: {:value 3} with pending operations: 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 3 :invoke :read nil 2 :invoke :read nil 4 :invoke :write 0 0 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 14 :invoke :cas [0 1] led to state: {:value 1} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 0 :invoke :read nil 3 :invoke :read nil 4 :invoke :write 0 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 3 :invoke :write 0 14 :invoke :cas [0 1] 1 :invoke :write 3 led to state: {:value 3} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 4 :invoke :cas [0 1] World with fixed history: 0 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 2 :invoke :read nil 2 :invoke :write 3 0 :invoke :write 1 3 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 7 :invoke :cas [4 3] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 1 :invoke :write 3 3 :invoke :write 0 led to state: {:value 0} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] 4 :invoke :cas [0 1] World with fixed history: 2 :invoke :read nil 4 :invoke :write 0 3 :invoke :read nil 0 :invoke :read nil 3 :invoke :write 1 2 :invoke :write 3 0 :invoke :write 1 1 :invoke :cas [1 0] 4 :invoke :write 2 0 :invoke :cas [2 2] 1 :invoke :read 2 0 :invoke :read 2 1 :invoke :write 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 0 :invoke :read 4 1 :invoke :read 4 3 :invoke :read 4 1 :invoke :write 0 3 :invoke :read 0 0 :invoke :read 0 3 :invoke :cas [0 4] 0 :invoke :write 4 3 :invoke :read 4 12 :invoke :read 4 0 :invoke :cas [4 4] 7 :invoke :cas [4 3] 1 :invoke :write 3 3 :invoke :write 0 4 :invoke :cas [0 1] led to state: {:value 1} with pending operations: 2 :invoke :cas [0 3] 9 :invoke :cas [2 2] 14 :invoke :cas [0 1] (and 2272 more worlds, elided here) -------------------------------------------------------------- Inconsistent state transitions: ([{:value 3} "can't read 4 from register 3"] [{:value 0} "can't read 4 from register 0"] [{:value 1} "can't read 4 from register 1"]) Ran 1 tests containing 1 assertions. 1 failures, 0 errors. Error encountered performing task 'test' with profile(s): 'base,system,user,provided,dev,etcd' Tests failed. real 2m35.369s user 3m51.160s sys 0m3.948s