joint_autoleave.txt 661 B

1234567891011121314151617181920212223242526272829
  1. # Test the autoleave argument to EnterJoint. It defaults to false in the
  2. # datadriven tests. The flag has no associated semantics in this package,
  3. # it is simply passed through.
  4. simple
  5. v1
  6. ----
  7. voters=(1)
  8. 1: StateProbe match=0 next=0
  9. # Autoleave is reflected in the config.
  10. enter-joint autoleave=true
  11. v2 v3
  12. ----
  13. voters=(1 2 3)&&(1) autoleave
  14. 1: StateProbe match=0 next=0
  15. 2: StateProbe match=0 next=1
  16. 3: StateProbe match=0 next=1
  17. # Can't enter-joint twice, even if autoleave changes.
  18. enter-joint autoleave=false
  19. ----
  20. config is already joint
  21. leave-joint
  22. ----
  23. voters=(1 2 3)
  24. 1: StateProbe match=0 next=0
  25. 2: StateProbe match=0 next=1
  26. 3: StateProbe match=0 next=1