lein test jepsen.system.etcd-test
INFO  jepsen.os.debian - :n3 setting up debian
INFO  jepsen.os.debian - :n5 setting up debian
INFO  jepsen.os.debian - :n2 setting up debian
INFO  jepsen.os.debian - :n4 setting up debian
INFO  jepsen.os.debian - :n1 setting up debian
INFO  jepsen.os.debian - :n5 debian set up
INFO  jepsen.os.debian - :n4 debian set up
INFO  jepsen.os.debian - :n1 debian set up
INFO  jepsen.os.debian - :n2 debian set up
INFO  jepsen.os.debian - :n3 debian set up
INFO  jepsen.system.etcd - :n4 etcd nuked
INFO  jepsen.system.etcd - :n5 etcd nuked
INFO  jepsen.system.etcd - :n3 etcd nuked
INFO  jepsen.system.etcd - :n1 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 - :n3 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 - :n1 etcd nuked
INFO  jepsen.system.etcd - :n1 starting etcd
INFO  jepsen.system.etcd - :n3 starting etcd
INFO  jepsen.system.etcd - :n5 starting etcd
INFO  jepsen.system.etcd - :n4 starting etcd
INFO  jepsen.system.etcd - :n2 starting etcd
INFO  jepsen.system.etcd - Running nodes: {:n1 true, :n2 true, :n3 true, :n4 true, :n5 true}
INFO  jepsen.system.etcd - :n3 etcd ready
INFO  jepsen.system.etcd - :n4 etcd ready
INFO  jepsen.system.etcd - :n1 etcd ready
INFO  jepsen.system.etcd - :n5 etcd ready
INFO  jepsen.system.etcd - :n2 etcd ready
INFO  jepsen.core - Worker 0 starting
INFO  jepsen.core - Worker 1 starting
INFO  jepsen.core - Worker 4 starting
INFO  jepsen.core - Worker 3 starting
INFO  jepsen.core - Worker 2 starting
INFO  jepsen.util - 1	:invoke	:read	nil
INFO  jepsen.util - 3	:invoke	:write	3
INFO  jepsen.util - 2	:invoke	:write	0
INFO  jepsen.util - 4	:invoke	:write	3
INFO  jepsen.util - 1	:ok	:read	nil
INFO  jepsen.util - 3	:ok	:write	3
INFO  jepsen.util - 0	:invoke	:cas	[2 2]
INFO  jepsen.util - 2	:ok	:write	0
INFO  jepsen.util - 4	:ok	:write	3
INFO  jepsen.util - 0	:fail	:cas	[2 2]
INFO  jepsen.util - 1	:invoke	:read	nil
INFO  jepsen.util - 1	:ok	:read	0
INFO  jepsen.util - 3	:invoke	:cas	[4 4]
INFO  jepsen.util - 3	:fail	:cas	[4 4]
INFO  jepsen.util - 2	:invoke	:read	nil
INFO  jepsen.util - 2	:ok	:read	0
INFO  jepsen.util - 4	:invoke	:cas	[3 3]
INFO  jepsen.util - 0	:invoke	:write	0
INFO  jepsen.util - 4	:fail	:cas	[3 3]
INFO  jepsen.util - 0	:ok	:write	0
INFO  jepsen.util - 1	:invoke	:cas	[4 1]
INFO  jepsen.util - 1	:fail	:cas	[4 1]
INFO  jepsen.util - 3	:invoke	:write	1
INFO  jepsen.util - 3	:ok	:write	1
INFO  jepsen.util - 2	:invoke	:write	1
INFO  jepsen.util - 4	:invoke	:write	2
INFO  jepsen.util - 2	:ok	:write	1
INFO  jepsen.util - 4	:ok	:write	2
INFO  jepsen.util - 0	:invoke	:read	nil
INFO  jepsen.util - 0	:ok	:read	2
INFO  jepsen.util - 1	:invoke	:write	3
INFO  jepsen.util - 3	:invoke	:write	4
INFO  jepsen.util - 1	:ok	:write	3
INFO  jepsen.util - 3	:ok	:write	4
INFO  jepsen.util - 2	:invoke	:cas	[4 4]
INFO  jepsen.util - 2	:ok	:cas	[4 4]
INFO  jepsen.util - 4	:invoke	:read	nil
INFO  jepsen.util - 4	:ok	:read	4
INFO  jepsen.util - 0	:invoke	:cas	[2 1]
INFO  jepsen.util - :nemesis	:info	:start	nil
INFO  jepsen.util - 0	:fail	:cas	[2 1]
INFO  jepsen.util - 1	:invoke	:write	3
INFO  jepsen.util - 3	:invoke	:read	nil
INFO  jepsen.util - 3	:ok	:read	4
INFO  jepsen.util - 2	:invoke	:read	nil
INFO  jepsen.util - 2	:ok	:read	3
INFO  jepsen.util - 4	:invoke	:cas	[0 0]
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 - 0	:invoke	:cas	[3 1]
INFO  jepsen.util - 1	:info	:write	:timed-out
INFO  jepsen.util - 3	:invoke	:cas	[3 3]
INFO  jepsen.util - 2	:invoke	:write	2
INFO  jepsen.util - 4	:info	:cas	:timed-out
INFO  jepsen.util - 0	:info	:cas	:timed-out
INFO  jepsen.util - 6	:invoke	:write	1
INFO  jepsen.util - 6	:ok	:write	1
INFO  jepsen.util - 3	:info	:cas	:timed-out
INFO  jepsen.util - 2	:info	:write	:timed-out
INFO  jepsen.util - 9	:invoke	:cas	[4 0]
INFO  jepsen.util - 5	:invoke	:cas	[1 1]
INFO  jepsen.util - 5	:ok	:cas	[1 1]
INFO  jepsen.util - 6	:invoke	:write	4
INFO  jepsen.util - 6	:ok	:write	4
INFO  jepsen.util - 8	:invoke	:cas	[0 0]
INFO  jepsen.util - 8	:fail	:cas	[0 0]
INFO  jepsen.util - 7	:invoke	:read	nil
INFO  jepsen.util - 7	:ok	:read	3
INFO  jepsen.util - 9	:info	:cas	:timed-out
INFO  jepsen.util - 5	:invoke	:read	nil
INFO  jepsen.util - 5	:ok	:read	4
INFO  jepsen.util - 6	:invoke	:read	nil
INFO  jepsen.util - 6	:ok	:read	4
INFO  jepsen.util - 8	:invoke	:read	nil
INFO  jepsen.util - 8	:ok	:read	4
INFO  jepsen.util - 7	:invoke	:read	nil
INFO  jepsen.util - 7	:ok	:read	3
INFO  jepsen.util - 14	:invoke	:write	1
INFO  jepsen.util - 5	:invoke	:cas	[1 3]
INFO  jepsen.util - 5	:fail	:cas	[1 3]
INFO  jepsen.util - 6	:invoke	:cas	[4 2]
INFO  jepsen.util - 6	:ok	:cas	[4 2]
INFO  jepsen.util - 8	:invoke	:write	3
INFO  jepsen.util - 7	:invoke	:read	nil
INFO  jepsen.util - 7	:ok	:read	3
INFO  jepsen.util - 14	:info	:write	:timed-out
INFO  jepsen.util - :nemesis	:info	:stop	nil
INFO  jepsen.util - 8	:ok	:write	3
INFO  jepsen.util - :nemesis	:info	:stop	"fully connected"
INFO  jepsen.util - 5	:invoke	:write	3
INFO  jepsen.util - 6	:invoke	:cas	[4 1]
INFO  jepsen.util - 6	:fail	:cas	[4 1]
INFO  jepsen.util - 5	:ok	:write	3
INFO  jepsen.util - 7	:invoke	:write	0
INFO  jepsen.util - 7	:ok	:write	0
INFO  jepsen.util - 19	:invoke	:write	1
INFO  jepsen.util - 8	:invoke	:cas	[0 1]
INFO  jepsen.util - 8	:fail	:cas	[0 1]
INFO  jepsen.util - 6	:invoke	:cas	[1 2]
INFO  jepsen.util - 6	:ok	:cas	[1 2]
INFO  jepsen.util - 5	:invoke	:cas	[0 0]
INFO  jepsen.util - 5	:fail	:cas	[0 0]
INFO  jepsen.util - 7	:invoke	:cas	[0 4]
INFO  jepsen.util - 19	:info	:write	:timed-out
INFO  jepsen.util - 7	:fail	:cas	[0 4]
INFO  jepsen.util - 8	:invoke	:read	nil
INFO  jepsen.util - 8	:ok	:read	2
INFO  jepsen.util - 6	:invoke	:write	4
INFO  jepsen.util - 5	:invoke	:cas	[2 1]
INFO  jepsen.util - 24	:invoke	:cas	[0 2]
INFO  jepsen.util - 7	:invoke	:write	2
INFO  jepsen.util - 8	:invoke	:write	3
INFO  jepsen.util - 6	:info	:write	:timed-out
INFO  jepsen.util - 5	:info	:cas	:timed-out
INFO  jepsen.util - 24	:info	:cas	:timed-out
INFO  jepsen.util - 7	:info	:write	:timed-out
INFO  jepsen.util - 8	:info	:write	:timed-out
INFO  jepsen.util - 11	:invoke	:write	2
INFO  jepsen.util - 11	:ok	:write	2
INFO  jepsen.util - 10	:invoke	:cas	[2 0]
INFO  jepsen.util - 10	:ok	:cas	[2 0]
INFO  jepsen.util - 29	:invoke	:write	1
INFO  jepsen.util - 29	:ok	:write	1
INFO  jepsen.util - 12	:invoke	:write	2
INFO  jepsen.util - 12	:ok	:write	2
INFO  jepsen.util - 13	:invoke	:cas	[1 4]
INFO  jepsen.util - :nemesis	:info	:start	nil
INFO  jepsen.util - 13	:fail	:cas	[1 4]
INFO  jepsen.util - 11	:invoke	:cas	[4 4]
INFO  jepsen.util - 10	:invoke	:cas	[4 1]
INFO  jepsen.util - 11	:fail	:cas	[4 4]
INFO  jepsen.util - 29	:invoke	:cas	[4 0]
INFO  jepsen.util - 29	:fail	:cas	[4 0]
INFO  jepsen.util - 12	:invoke	:cas	[1 3]
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 - 13	:invoke	:read	nil
INFO  jepsen.util - 13	:ok	:read	2
INFO  jepsen.util - 10	:info	:cas	:timed-out
INFO  jepsen.util - 11	:invoke	:read	nil
INFO  jepsen.util - 11	:ok	:read	2
INFO  jepsen.util - 29	:invoke	:write	3
INFO  jepsen.util - 12	:info	:cas	:timed-out
INFO  jepsen.util - 29	:ok	:write	3
INFO  jepsen.util - 13	:invoke	:write	2
INFO  jepsen.util - 13	:ok	:write	2
INFO  jepsen.util - 15	:invoke	:write	1
INFO  jepsen.util - 11	:invoke	:read	nil
INFO  jepsen.util - 11	:ok	:read	2
INFO  jepsen.util - 17	:invoke	:write	3
INFO  jepsen.util - 29	:invoke	:write	3
INFO  jepsen.util - 13	:invoke	:write	2
INFO  jepsen.util - 13	:ok	:write	2
INFO  jepsen.util - 29	:ok	:write	3
INFO  jepsen.util - 15	:info	:write	:timed-out
INFO  jepsen.util - 11	:invoke	:write	3
INFO  jepsen.util - 11	:ok	:write	3
INFO  jepsen.util - 17	:info	:write	:timed-out
INFO  jepsen.util - 29	:invoke	:cas	[0 4]
INFO  jepsen.util - 13	:invoke	:cas	[2 4]
INFO  jepsen.util - 20	:invoke	:cas	[0 1]
INFO  jepsen.util - 11	:invoke	:write	0
INFO  jepsen.util - 11	:ok	:write	0
INFO  jepsen.util - 29	:fail	:cas	[0 4]
INFO  jepsen.util - 13	:fail	:cas	[2 4]
INFO  jepsen.util - 22	:invoke	:cas	[3 0]
INFO  jepsen.util - 20	:info	:cas	:timed-out
INFO  jepsen.util - 22	: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.util - 11	:invoke	:read	nil
INFO  jepsen.core - nemesis done
INFO  jepsen.core - Worker 4 done
INFO  jepsen.core - Worker 0 done
INFO  jepsen.core - Worker 3 done
INFO  jepsen.core - Worker 2 done
INFO  jepsen.util - 11	:ok	:read	0
INFO  jepsen.core - Worker 1 done
INFO  jepsen.core - Run complete, writing
INFO  jepsen.core - Analyzing
INFO  jepsen.core - Analysis complete
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 - :n4 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:
1	:invoke	:read	nil
3	:invoke	:write	3
2	:invoke	:write	0
4	:invoke	:write	3
1	:ok	:read	nil
3	:ok	:write	3
0	:invoke	:cas	[2 2]
2	:ok	:write	0
4	:ok	:write	3
0	:fail	:cas	[2 2]
1	:invoke	:read	0
1	:ok	:read	0
3	:invoke	:cas	[4 4]
3	:fail	:cas	[4 4]
2	:invoke	:read	0
2	:ok	:read	0
4	:invoke	:cas	[3 3]
0	:invoke	:write	0
4	:fail	:cas	[3 3]
0	:ok	:write	0
1	:invoke	:cas	[4 1]
1	:fail	:cas	[4 1]
3	:invoke	:write	1
3	:ok	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
2	:ok	:write	1
4	:ok	:write	2
0	:invoke	:read	2
0	:ok	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
1	:ok	:write	3
3	:ok	:write	4
2	:invoke	:cas	[4 4]
2	:ok	:cas	[4 4]
4	:invoke	:read	4
4	:ok	:read	4
0	:invoke	:cas	[2 1]
:nemesis	:info	:start	nil
0	:fail	:cas	[2 1]
1	:invoke	:write	3
3	:invoke	:read	4
3	:ok	:read	4
2	:invoke	:read	3
2	:ok	:read	3
4	:invoke	:cas	[0 0]
:nemesis	:info	:start	"Cut off {:n1 #{:n3 :n5}, :n2 #{:n3 :n5}, :n4 #{:n3 :n5}, :n5 #{:n4 :n2 :n1}, :n3 #{:n4 :n2 :n1}}"
0	:invoke	:cas	[3 1]
1	:info	:write	:timed-out
3	:invoke	:cas	[3 3]
2	:invoke	:write	2
4	:info	:cas	:timed-out
0	:info	:cas	:timed-out
6	:invoke	:write	1
6	:ok	:write	1
3	:info	:cas	:timed-out
2	:info	:write	:timed-out
9	:invoke	:cas	[4 0]
5	:invoke	:cas	[1 1]
5	:ok	:cas	[1 1]
6	:invoke	:write	4
6	:ok	:write	4
8	:invoke	:cas	[0 0]
8	:fail	:cas	[0 0]

Followed by inconsistent operation:
7	:invoke	:read	3

-------------------------------------------------------------
Just prior to that operation, possible interpretations of the
linearizable prefix were:
World with fixed history:
1	:invoke	:read	nil
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
4	:invoke	:write	3
1	:invoke	:read	nil
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
2	:invoke	:write	2
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
1	:invoke	:read	nil
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
0	:invoke	:cas	[3 1]
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

World with fixed history:
1	:invoke	:read	nil
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
4	:invoke	:cas	[0 0]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:

World with fixed history:
4	:invoke	:write	3
1	:invoke	:read	nil
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
1	:invoke	:read	nil
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
3	:invoke	:cas	[3 3]

World with fixed history:
1	:invoke	:read	nil
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:
3	:invoke	:cas	[3 3]

World with fixed history:
1	:invoke	:read	nil
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
4	:invoke	:cas	[0 0]

World with fixed history:
1	:invoke	:read	nil
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]

World with fixed history:
4	:invoke	:write	3
1	:invoke	:read	nil
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:
2	:invoke	:write	2
3	:invoke	:cas	[3 3]

World with fixed history:
1	:invoke	:read	nil
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
0	:invoke	:cas	[3 1]

World with fixed history:
4	:invoke	:write	3
1	:invoke	:read	nil
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
4	:invoke	:write	3
1	:invoke	:read	nil
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
4	:invoke	:cas	[0 0]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
0	:invoke	:cas	[3 1]
4	:invoke	:cas	[0 0]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
0	:invoke	:cas	[3 1]
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

World with fixed history:
3	:invoke	:write	3
1	:invoke	:read	nil
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4

led to state: 
{:value 4}

with pending operations:
2	:invoke	:write	2
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
4	:invoke	:cas	[0 0]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
3	:invoke	:cas	[3 3]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
0	:invoke	:cas	[3 1]

World with fixed history:
4	:invoke	:write	3
3	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
1	:invoke	:read	nil
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]
2	:invoke	:write	2

led to state: 
{:value 2}

with pending operations:
3	:invoke	:cas	[3 3]

World with fixed history:
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	nil
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
4	:invoke	:cas	[0 0]
3	:invoke	:cas	[3 3]

World with fixed history:
1	:invoke	:read	nil
3	:invoke	:write	3
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
3	:invoke	:cas	[3 3]
0	:invoke	:cas	[3 1]
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
2	:invoke	:write	2
6	:invoke	:write	4
9	:invoke	:cas	[4 0]

led to state: 
{:value 0}

with pending operations:
4	:invoke	:cas	[0 0]

World with fixed history:
3	:invoke	:write	3
1	:invoke	:read	nil
4	:invoke	:write	3
2	:invoke	:write	0
1	:invoke	:read	0
2	:invoke	:read	0
0	:invoke	:write	0
3	:invoke	:write	1
2	:invoke	:write	1
4	:invoke	:write	2
0	:invoke	:read	2
1	:invoke	:write	3
3	:invoke	:write	4
2	:invoke	:cas	[4 4]
4	:invoke	:read	4
3	:invoke	:read	4
1	:invoke	:write	3
2	:invoke	:read	3
2	:invoke	:write	2
6	:invoke	:write	1
5	:invoke	:cas	[1 1]
6	:invoke	:write	4
9	:invoke	:cas	[4 0]
4	:invoke	:cas	[0 0]

led to state: 
{:value 0}

with pending operations:
0	:invoke	:cas	[3 1]
3	:invoke	:cas	[3 3]

(and 352 more worlds, elided here)
--------------------------------------------------------------

Inconsistent state transitions:
([{:value 0} "can't read 3 from register 0"]
 [{:value 4} "can't read 3 from register 4"]
 [{:value 2} "can't read 3 from register 2"])

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.