Revert "spec: initial round from -1 to 0"

This reverts commit 9ab2c7f.
informalsystems · Dec 13, 2023 · 2520d4c · 2520d4c
1 parent 3f92ddc
commit 2520d4c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Specs/Quint/consensus.qnt b/Specs/Quint/consensus.qnt
@@ -37,7 +37,9 @@ module consensus {
 
     pure def initConsensusState(p: Address, h: Height) : ConsensusState = {
         p: p, 
-        round: 0, // line 3
+        // round must be -1, as nothing should be done before a NewRound
+        // function is called
+        round: -1, 
         step: NoStep, 
         height: h,
         lockedRound: -1,