voting chain mutant 7

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

Hide file tree

Showing 2 changed files with 1 addition and 14 deletions.
diff --git a/security/certora/tests/REPORT-voting.txt b/security/certora/tests/REPORT-voting.txt
@@ -1,19 +1,6 @@
 voting_and_tally.spec
 =====================
 
-Questions/Comments:
-------------------
-1. In most of the confs we have loop_iter==1. Is it correct ?
-2. When running the tests:
-   - power_summary.conf has several failures (including sanity fails)
-   - misc.conf has several failures and timeouts
-   - proposal_states.conf has one sanity failure.
-3. I checked the mutants against:
-   - legality.conf
-   - proposal_config.conf
-   - proposal_states.conf
-   - voting_and_tally.conf
-
 
 Mutations:
 ---------

diff --git a/src/contracts/voting/VotingMachineWithProofs.sol b/src/contracts/voting/VotingMachineWithProofs.sol
@@ -316,7 +316,7 @@ abstract contract VotingMachineWithProofs is
     address user,
     uint256 proposalId
   ) external view returns (Vote memory) {
-    return _proposals[proposalId].votes[user];
+    return _proposals[proposalId+1].votes[user];
   }
 
   /// @inheritdoc IVotingMachineWithProofs