| 1234567891011121314151617181920212223 |
- # Verify that operations upon entering the joint state are idempotent, i.e.
- # removing an absent node is fine, etc.
- simple
- v1
- ----
- voters=(1)
- 1: StateProbe match=0 next=0
- enter-joint
- r1 r2 r9 v2 v3 v4 v2 v3 v4 l2 l2 r4 r4 l1 l1
- ----
- voters=(3)&&(1) learners=(2) learners_next=(1)
- 1: StateProbe match=0 next=0
- 2: StateProbe match=0 next=1 learner
- 3: StateProbe match=0 next=1
- leave-joint
- ----
- voters=(3) learners=(1 2)
- 1: StateProbe match=0 next=0 learner
- 2: StateProbe match=0 next=1 learner
- 3: StateProbe match=0 next=1
|
