From 23034f50f977c25dc5fac666f34829a5c4dc9db2 Mon Sep 17 00:00:00 2001 From: Josef Widder Date: Wed, 6 Dec 2023 11:02:54 +0100 Subject: [PATCH] Tests seem fine for now. In principle we could merge. --- Specs/Quint/decideForPastRound.qnt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Specs/Quint/decideForPastRound.qnt b/Specs/Quint/decideForPastRound.qnt index 4af82b7a2..69917f3e2 100644 --- a/Specs/Quint/decideForPastRound.qnt +++ b/Specs/Quint/decideForPastRound.qnt @@ -32,7 +32,7 @@ run runToDecision = { everyoneReceivesProposal(others, validatorList, validatorSet, 0, 0, "blue") }) -// Others receive the prevots of others and the faulty ones -> send precommit value +// Others receive the prevotes of others and the faulty ones -> send precommit value .then(ListDeliverAllVotes ("Prevote", others.concat(faultyList), others, validatorSet, 0, 0, "blue")) .then(others.concat(faultyList).length().reps(_ => ListTakeAStep(others))) .then(ListTakeAStep(others))