fixing mutants

Certora · Nov 16, 2023 · 596d17d · 596d17d
1 parent 9ce7232
commit 596d17d
Show file tree

Hide file tree

Showing 3 changed files with 1,113 additions and 3 deletions.
diff --git a/security/certora/tests/REPORT-voting.txt b/security/certora/tests/REPORT-voting.txt
@@ -29,17 +29,17 @@ The change: VotingMachineWithProofs.sol::319
 
 8. DETECTED
 Changed file: VotingMachineWithProofs.sol ==> VotingMachineWithProofs-8.sol
-The change: VotingMachineWithProofs.sol::250
+The change: VotingMachineWithProofs.sol::324
     orig:
-        Proposal storage proposal = _proposals[proposalId];
+       Proposal storage proposal = _proposals[proposalId];
    mutant:
        Proposal storage proposal = _proposals[0];
 
 Suggestion for rules that can catch it:
 
 9. UNDETECTED
 Changed file: VotingMachineWithProofs.sol ==> VotingMachineWithProofs-9.sol
-The change: VotingMachineWithProofs.sol::288
+The change: VotingMachineWithProofs.sol::385
     orig:
       proposalListLength - skip - i - 1
    mutant: