upping the number of values/ballots for 4 acceptor config

fpaxos · Sep 29, 2023 · 49aaf12 · 49aaf12
1 parent a807c3a
commit 49aaf12
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/MCFPaxosFourAcc.tla b/MCFPaxosFourAcc.tla
@@ -3,9 +3,9 @@
 EXTENDS FPaxos, TLC
 
 MCAcceptor == {"a1", "a2", "a3", "a4"}
-MCValue    == 0..1
+MCValue    == 0..2
 MCQuorum1 == {{"a1", "a2"}, {"a3", "a4"}}
 MCQuorum2 == {{"a1", "a3"}, {"a2", "a4"}}
-MCBallot == 0..1
+MCBallot == 0..2
 
 ====