simple_safety.txt 869 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  1. simple
  2. l1
  3. ----
  4. removed all voters
  5. simple
  6. v1
  7. ----
  8. voters=(1)
  9. 1: StateProbe match=0 next=2
  10. simple
  11. v2 l3
  12. ----
  13. voters=(1 2) learners=(3)
  14. 1: StateProbe match=0 next=2
  15. 2: StateProbe match=0 next=3
  16. 3: StateProbe match=0 next=3 learner
  17. simple
  18. r1 v5
  19. ----
  20. more than one voter changed without entering joint config
  21. simple
  22. r1 r2
  23. ----
  24. removed all voters
  25. simple
  26. v3 v4
  27. ----
  28. more than one voter changed without entering joint config
  29. simple
  30. l1 v5
  31. ----
  32. more than one voter changed without entering joint config
  33. simple
  34. l1 l2
  35. ----
  36. removed all voters
  37. simple
  38. l2 l3 l4 l5
  39. ----
  40. voters=(1) learners=(2 3 4 5)
  41. 1: StateProbe match=0 next=2
  42. 2: StateProbe match=0 next=3 learner
  43. 3: StateProbe match=0 next=3 learner
  44. 4: StateProbe match=0 next=9 learner
  45. 5: StateProbe match=0 next=9 learner
  46. simple
  47. r1
  48. ----
  49. removed all voters
  50. simple
  51. r2 r3 r4 r5
  52. ----
  53. voters=(1)
  54. 1: StateProbe match=0 next=2