lein test jepsen.system.etcd-test
INFO jepsen.os.debian - :n1 setting up debian
INFO jepsen.os.debian - :n5 setting up debian
INFO jepsen.os.debian - :n2 setting up debian
INFO jepsen.os.debian - :n3 setting up debian
INFO jepsen.os.debian - :n4 setting up debian
INFO jepsen.os.debian - :n4 debian set up
INFO jepsen.os.debian - :n5 debian set up
INFO jepsen.os.debian - :n3 debian set up
INFO jepsen.os.debian - :n1 debian set up
INFO jepsen.os.debian - :n2 debian set up
INFO jepsen.system.etcd - :n1 etcd nuked
INFO jepsen.system.etcd - :n5 etcd nuked
INFO jepsen.system.etcd - :n2 etcd nuked
INFO jepsen.system.etcd - :n4 etcd nuked
INFO jepsen.system.etcd - :n3 etcd nuked
INFO jepsen.system.etcd - Running nodes: {:n1 false, :n2 false, :n3 false, :n4 false, :n5 false}
INFO jepsen.system.etcd - :n2 etcd nuked
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 - :n1 etcd nuked
INFO jepsen.system.etcd - :n1 starting etcd
INFO jepsen.system.etcd - :n2 starting etcd
INFO jepsen.system.etcd - :n5 starting etcd
INFO jepsen.system.etcd - :n4 starting etcd
INFO jepsen.system.etcd - :n3 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 0 starting
INFO jepsen.core - Worker 3 starting
INFO jepsen.core - Worker 1 starting
INFO jepsen.core - Worker 2 starting
INFO jepsen.core - Worker 4 starting
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 2 :ok :read nil
INFO jepsen.util - 4 :ok :read nil
INFO jepsen.util - 3 :ok :read nil
INFO jepsen.util - 1 :invoke :cas [0 2]
INFO jepsen.util - 0 :invoke :cas [3 4]
INFO jepsen.util - 1 :fail :cas [0 2]
INFO jepsen.util - 0 :fail :cas [3 4]
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read nil
INFO jepsen.util - 4 :ok :read nil
INFO jepsen.util - 1 :invoke :cas [3 4]
INFO jepsen.util - 1 :fail :cas [3 4]
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 0 :invoke :read nil
INFO jepsen.util - 0 :ok :read 2
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 2 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 1 :ok :read 2
INFO jepsen.util - 2 :ok :write 2
INFO jepsen.util - 0 :invoke :cas [4 4]
INFO jepsen.util - 0 :fail :cas [4 4]
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 1 :ok :write 2
INFO jepsen.util - 0 :invoke :write 1
INFO jepsen.util - 0 :ok :write 1
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 3 :invoke :cas [0 0]
INFO jepsen.util - 4 :invoke :cas [0 4]
INFO jepsen.util - 3 :fail :cas [0 0]
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 4 :fail :cas [0 4]
INFO jepsen.util - 1 :invoke :cas [0 1]
INFO jepsen.util - 0 :invoke :write 0
INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}"
INFO jepsen.util - 1 :fail :cas [0 1]
INFO jepsen.util - 3 :invoke :write 0
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 3 :ok :write 0
INFO jepsen.util - 4 :invoke :write 1
INFO jepsen.util - 0 :info :write :timed-out
INFO jepsen.util - 1 :invoke :write 1
INFO jepsen.util - 4 :ok :write 1
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 3 :invoke :cas [0 0]
INFO jepsen.util - 1 :ok :write 1
INFO jepsen.util - 5 :invoke :cas [0 0]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 3 :fail :cas [0 0]
INFO jepsen.util - 4 :ok :read 1
INFO jepsen.util - 2 :invoke :read nil
INFO jepsen.util - 2 :ok :read 1
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 1
INFO jepsen.util - 5 :info :cas :timed-out
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 3 :ok :read 1
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 2 :invoke :write 1
INFO jepsen.util - 1 :invoke :read nil
INFO jepsen.util - 1 :ok :read 3
INFO jepsen.util - 10 :invoke :read nil
INFO jepsen.util - 10 :ok :read 1
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - 2 :info :write :timed-out
INFO jepsen.util - 1 :invoke :cas [1 3]
INFO jepsen.util - 1 :fail :cas [1 3]
INFO jepsen.util - 10 :invoke :read nil
INFO jepsen.util - 10 :ok :read 1
INFO jepsen.util - :nemesis :info :stop nil
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.util - :nemesis :info :stop "fully connected"
INFO jepsen.util - 7 :invoke :cas [3 1]
INFO jepsen.util - 1 :invoke :write 2
INFO jepsen.util - 10 :invoke :write 4
INFO jepsen.util - 3 :invoke :write 1
INFO jepsen.util - 4 :invoke :cas [0 0]
INFO jepsen.util - 7 :info :cas :timed-out
INFO jepsen.util - 1 :info :write :timed-out
INFO jepsen.util - 10 :info :write :timed-out
INFO jepsen.util - 4 :fail :cas [0 0]
INFO jepsen.util - 3 :ok :write 1
INFO jepsen.util - 12 :invoke :write 3
INFO jepsen.util - 12 :ok :write 3
INFO jepsen.util - 6 :invoke :cas [1 4]
INFO jepsen.util - 6 :fail :cas [1 4]
INFO jepsen.util - 15 :invoke :read nil
INFO jepsen.util - 15 :ok :read 3
INFO jepsen.util - 4 :invoke :write 2
INFO jepsen.util - 4 :ok :write 2
INFO jepsen.util - 3 :invoke :cas [0 0]
INFO jepsen.util - 3 :fail :cas [0 0]
INFO jepsen.util - 12 :invoke :read nil
INFO jepsen.util - 12 :ok :read 2
INFO jepsen.util - 6 :invoke :cas [3 3]
INFO jepsen.util - 6 :fail :cas [3 3]
INFO jepsen.util - 15 :invoke :cas [0 1]
INFO jepsen.util - 15 :fail :cas [0 1]
INFO jepsen.util - 4 :invoke :read nil
INFO jepsen.util - 4 :ok :read 2
INFO jepsen.util - 3 :invoke :cas [2 0]
INFO jepsen.util - 3 :ok :cas [2 0]
INFO jepsen.util - 12 :invoke :cas [1 0]
INFO jepsen.util - 12 :fail :cas [1 0]
INFO jepsen.util - 6 :invoke :read nil
INFO jepsen.util - 6 :ok :read 0
INFO jepsen.util - 15 :invoke :read nil
INFO jepsen.util - 15 :ok :read 0
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 3
INFO jepsen.util - :nemesis :info :start nil
INFO jepsen.util - 12 :invoke :cas [3 2]
INFO jepsen.util - 12 :ok :cas [3 2]
INFO jepsen.util - 6 :invoke :read nil
INFO jepsen.util - 6 :ok :read 2
INFO jepsen.util - 15 :invoke :write 3
INFO jepsen.util - 4 :invoke :write 3
INFO jepsen.util - 15 :ok :write 3
INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}"
INFO jepsen.util - 4 :ok :write 3
INFO jepsen.util - 3 :invoke :read nil
INFO jepsen.util - 3 :ok :read 2
INFO jepsen.util - 12 :invoke :read nil
INFO jepsen.util - 12 :ok :read 3
INFO jepsen.util - 6 :invoke :write 1
INFO jepsen.util - 15 :invoke :read nil
INFO jepsen.util - 15 :ok :read 3
INFO jepsen.util - 4 :invoke :cas [0 2]
INFO jepsen.util - 3 :invoke :write 3
INFO jepsen.util - 4 :fail :cas [0 2]
INFO jepsen.util - 12 :invoke :write 3
INFO jepsen.util - 6 :info :write :timed-out
INFO jepsen.util - 15 :invoke :cas [2 3]
INFO jepsen.util - 12 :ok :write 3
INFO jepsen.util - 15 :fail :cas [2 3]
INFO jepsen.util - 3 :info :write :timed-out
INFO jepsen.util - 4 :invoke :cas [3 2]
INFO jepsen.util - 11 :invoke :read nil
INFO jepsen.util - 11 :ok :read 2
INFO jepsen.util - 12 :invoke :cas [2 2]
INFO jepsen.util - 15 :invoke :write 3
INFO jepsen.util - 4 :ok :cas [3 2]
INFO jepsen.util - 12 :ok :cas [2 2]
INFO jepsen.util - 8 :invoke :write 2
INFO jepsen.util - 15 :ok :write 3
INFO jepsen.util - 11 :invoke :write 4
INFO jepsen.util - 8 :info :write :timed-out
INFO jepsen.util - 11 :info :write :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.util - 4 :invoke :read nil
INFO jepsen.core - nemesis done
INFO jepsen.core - Worker 1 done
INFO jepsen.core - Worker 3 done
INFO jepsen.core - Worker 2 done
INFO jepsen.core - Worker 0 done
INFO jepsen.util - 4 :ok :read 3
INFO jepsen.core - Worker 4 done
INFO jepsen.core - Run complete, writing
INFO jepsen.core - Analyzing
INFO knossos.core - [81 / 180] 278 extant worlds, 13217 visited/s, 952 skipped/s, hitrate 0.067 cache size 10514
INFO knossos.core - [81 / 180] 276 extant worlds, 49635 visited/s, 3719 skipped/s, hitrate 0.070 cache size 49069
INFO knossos.core - [81 / 180] 230 extant worlds, 42020 visited/s, 3145 skipped/s, hitrate 0.070 cache size 81615
INFO knossos.core - [81 / 180] 128 extant worlds, 50784 visited/s, 3812 skipped/s, hitrate 0.070 cache size 120728
INFO jepsen.core - Analysis complete
INFO jepsen.system.etcd - :n4 etcd nuked
INFO jepsen.system.etcd - :n1 etcd nuked
INFO jepsen.system.etcd - :n5 etcd nuked
INFO jepsen.system.etcd - :n3 etcd nuked
INFO jepsen.system.etcd - :n2 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
4 :invoke :read nil
3 :invoke :read nil
2 :ok :read nil
4 :ok :read nil
3 :ok :read nil
1 :invoke :cas [0 2]
0 :invoke :cas [3 4]
1 :fail :cas [0 2]
0 :fail :cas [3 4]
2 :invoke :write 2
4 :invoke :read nil
3 :invoke :read nil
3 :ok :read nil
4 :ok :read nil
1 :invoke :cas [3 4]
1 :fail :cas [3 4]
2 :ok :write 2
0 :invoke :read 2
0 :ok :read 2
3 :invoke :read 2
4 :invoke :write 2
3 :ok :read 2
1 :invoke :read 2
2 :invoke :write 2
4 :ok :write 2
1 :ok :read 2
2 :ok :write 2
0 :invoke :cas [4 4]
0 :fail :cas [4 4]
3 :invoke :read 2
3 :ok :read 2
4 :invoke :write 1
1 :invoke :write 2
4 :ok :write 1
2 :invoke :read 1
2 :ok :read 1
1 :ok :write 2
0 :invoke :write 1
0 :ok :write 1
:nemesis :info :start nil
3 :invoke :cas [0 0]
4 :invoke :cas [0 4]
3 :fail :cas [0 0]
2 :invoke :read 1
2 :ok :read 1
4 :fail :cas [0 4]
1 :invoke :cas [0 1]
0 :invoke :write 0
:nemesis :info :start "Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}"
1 :fail :cas [0 1]
3 :invoke :write 0
2 :invoke :read 1
2 :ok :read 1
3 :ok :write 0
4 :invoke :write 1
0 :info :write :timed-out
1 :invoke :write 1
4 :ok :write 1
2 :invoke :read 1
2 :ok :read 1
3 :invoke :cas [0 0]
1 :ok :write 1
5 :invoke :cas [0 0]
4 :invoke :read 1
3 :fail :cas [0 0]
4 :ok :read 1
2 :invoke :read 1
2 :ok :read 1
1 :invoke :read 1
1 :ok :read 1
5 :info :cas :timed-out
3 :invoke :read 1
4 :invoke :write 3
3 :ok :read 1
4 :ok :write 3
2 :invoke :write 1
1 :invoke :read 3
1 :ok :read 3
10 :invoke :read 1
10 :ok :read 1
Followed by inconsistent operation:
3 :invoke :read 3
-------------------------------------------------------------
Just prior to that operation, possible interpretations of the
linearizable prefix were:
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
led to state:
{:value 0}
with pending operations:
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
0 :invoke :write 0
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
0 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
3 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
4 :invoke :read nil
0 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
0 :invoke :write 0
led to state:
{:value 0}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
2 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
1 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
3 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
4 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
5 :invoke :cas [0 0]
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
0 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
3 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
1 :invoke :read 2
2 :invoke :write 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
0 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
5 :invoke :cas [0 0]
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
0 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
4 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
0 :invoke :write 0
World with fixed history:
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
1 :invoke :read 2
2 :invoke :write 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
5 :invoke :cas [0 0]
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
1 :invoke :read 2
2 :invoke :write 2
4 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
0 :invoke :write 0
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
led to state:
{:value 0}
with pending operations:
World with fixed history:
2 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
0 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
5 :invoke :cas [0 0]
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
0 :invoke :write 0
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
2 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
5 :invoke :cas [0 0]
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
0 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
0 :invoke :write 0
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
3 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
led to state:
{:value 0}
with pending operations:
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
led to state:
{:value 0}
with pending operations:
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
1 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
0 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
4 :invoke :write 2
3 :invoke :read 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
0 :invoke :write 0
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
2 :invoke :read nil
3 :invoke :read nil
4 :invoke :read nil
4 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
0 :invoke :read 2
3 :invoke :read 2
2 :invoke :write 2
4 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
1 :invoke :write 1
4 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
2 :invoke :write 2
3 :invoke :read nil
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
2 :invoke :write 2
1 :invoke :read 2
3 :invoke :read 2
1 :invoke :write 2
4 :invoke :write 1
2 :invoke :read 1
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
0 :invoke :write 0
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
5 :invoke :cas [0 0]
World with fixed history:
3 :invoke :read nil
4 :invoke :read nil
2 :invoke :read nil
3 :invoke :read nil
2 :invoke :write 2
4 :invoke :read nil
0 :invoke :read 2
3 :invoke :read 2
4 :invoke :write 2
1 :invoke :read 2
2 :invoke :write 2
3 :invoke :read 2
4 :invoke :write 1
2 :invoke :read 1
1 :invoke :write 2
0 :invoke :write 1
2 :invoke :read 1
2 :invoke :read 1
3 :invoke :write 0
4 :invoke :write 1
1 :invoke :write 1
2 :invoke :read 1
4 :invoke :read 1
2 :invoke :read 1
1 :invoke :read 1
3 :invoke :read 1
0 :invoke :write 0
5 :invoke :cas [0 0]
4 :invoke :write 3
1 :invoke :read 3
2 :invoke :write 1
10 :invoke :read 1
led to state:
{:value 1}
with pending operations:
(and 17248 more worlds, elided here)
--------------------------------------------------------------
Inconsistent state transitions:
([{:value 1} "can't read 3 from register 1"]
[{:value 0} "can't read 3 from register 0"])
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.