joint_safety.txt 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081
  1. leave-joint
  2. ----
  3. can't leave a non-joint config
  4. enter-joint
  5. ----
  6. can't make a zero-voter config joint
  7. enter-joint
  8. v1
  9. ----
  10. can't make a zero-voter config joint
  11. simple
  12. v1
  13. ----
  14. voters=(1)
  15. 1: StateProbe match=0 next=3
  16. leave-joint
  17. ----
  18. can't leave a non-joint config
  19. # Can enter into joint config.
  20. enter-joint
  21. ----
  22. voters=(1)&&(1)
  23. 1: StateProbe match=0 next=3
  24. enter-joint
  25. ----
  26. config is already joint
  27. leave-joint
  28. ----
  29. voters=(1)
  30. 1: StateProbe match=0 next=3
  31. leave-joint
  32. ----
  33. can't leave a non-joint config
  34. # Can enter again, this time with some ops.
  35. enter-joint
  36. r1 v2 v3 l4
  37. ----
  38. voters=(2 3)&&(1) learners=(4)
  39. 1: StateProbe match=0 next=3
  40. 2: StateProbe match=0 next=9
  41. 3: StateProbe match=0 next=9
  42. 4: StateProbe match=0 next=9 learner
  43. enter-joint
  44. ----
  45. config is already joint
  46. enter-joint
  47. v12
  48. ----
  49. config is already joint
  50. simple
  51. l15
  52. ----
  53. can't apply simple config change in joint config
  54. leave-joint
  55. ----
  56. voters=(2 3) learners=(4)
  57. 2: StateProbe match=0 next=9
  58. 3: StateProbe match=0 next=9
  59. 4: StateProbe match=0 next=9 learner
  60. simple
  61. l9
  62. ----
  63. voters=(2 3) learners=(4 9)
  64. 2: StateProbe match=0 next=9
  65. 3: StateProbe match=0 next=9
  66. 4: StateProbe match=0 next=9 learner
  67. 9: StateProbe match=0 next=14 learner