...
1# Verify that operations upon entering the joint state are idempotent, i.e.
2# removing an absent node is fine, etc.
3
4simple
5v1
6----
7voters=(1)
81: StateProbe match=0 next=0
9
10enter-joint
11r1 r2 r9 v2 v3 v4 v2 v3 v4 l2 l2 r4 r4 l1 l1
12----
13voters=(3)&&(1) learners=(2) learners_next=(1)
141: StateProbe match=0 next=0
152: StateProbe match=0 next=1 learner
163: StateProbe match=0 next=1
17
18leave-joint
19----
20voters=(3) learners=(1 2)
211: StateProbe match=0 next=0 learner
222: StateProbe match=0 next=1 learner
233: StateProbe match=0 next=1
View as plain text