1# Verify that when a voter is demoted in a joint config, it will show up in
2# learners_next until the joint config is left, and only then will the progress
3# turn into that of a learner, without resetting the progress. Note that this
4# last fact is verified by `next`, which can tell us which "round" the progress
5# was originally created in.
6
7simple
8v1
9----
10voters=(1)
111: StateProbe match=0 next=0
12
13enter-joint
14v2 l1
15----
16voters=(2)&&(1) learners_next=(1)
171: StateProbe match=0 next=0
182: StateProbe match=0 next=1
19
20leave-joint
21----
22voters=(2) learners=(1)
231: StateProbe match=0 next=0 learner
242: StateProbe match=0 next=1
View as plain text