majority_vote.txt 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  1. # The empty config always announces a won vote.
  2. vote
  3. ----
  4. VoteWon
  5. vote cfg=(1) votes=(_)
  6. ----
  7. VotePending
  8. vote cfg=(1) votes=(n)
  9. ----
  10. VoteLost
  11. vote cfg=(123) votes=(y)
  12. ----
  13. VoteWon
  14. vote cfg=(4,8) votes=(_,_)
  15. ----
  16. VotePending
  17. # With two voters, a single rejection loses the vote.
  18. vote cfg=(4,8) votes=(n,_)
  19. ----
  20. VoteLost
  21. vote cfg=(4,8) votes=(y,_)
  22. ----
  23. VotePending
  24. vote cfg=(4,8) votes=(n,y)
  25. ----
  26. VoteLost
  27. vote cfg=(4,8) votes=(y,y)
  28. ----
  29. VoteWon
  30. vote cfg=(2,4,7) votes=(_,_,_)
  31. ----
  32. VotePending
  33. vote cfg=(2,4,7) votes=(n,_,_)
  34. ----
  35. VotePending
  36. vote cfg=(2,4,7) votes=(y,_,_)
  37. ----
  38. VotePending
  39. vote cfg=(2,4,7) votes=(n,n,_)
  40. ----
  41. VoteLost
  42. vote cfg=(2,4,7) votes=(y,n,_)
  43. ----
  44. VotePending
  45. vote cfg=(2,4,7) votes=(y,y,_)
  46. ----
  47. VoteWon
  48. vote cfg=(2,4,7) votes=(y,y,n)
  49. ----
  50. VoteWon
  51. vote cfg=(2,4,7) votes=(n,y,n)
  52. ----
  53. VoteLost
  54. # Test some random example with seven nodes (why not).
  55. vote cfg=(1,2,3,4,5,6,7) votes=(y,y,n,y,_,_,_)
  56. ----
  57. VotePending
  58. vote cfg=(1,2,3,4,5,6,7) votes=(_,y,y,_,n,y,n)
  59. ----
  60. VotePending
  61. vote cfg=(1,2,3,4,5,6,7) votes=(y,y,n,y,_,n,y)
  62. ----
  63. VoteWon
  64. vote cfg=(1,2,3,4,5,6,7) votes=(y,y,_,n,y,n,n)
  65. ----
  66. VotePending
  67. vote cfg=(1,2,3,4,5,6,7) votes=(y,y,n,y,n,n,n)
  68. ----
  69. VoteLost