Merge pull request #16 from Certora/split_voting_tasks

Split voting tasks
Certora · Dec 18, 2023 · 836bcc0 · 836bcc0
2 parents 886c591 + 29e0901
commit 836bcc0
Showing 1 changed file with 11 additions and 2 deletions.
diff --git a/.github/workflows/certora-review-voting-chain.yml b/.github/workflows/certora-review-voting-chain.yml
@@ -54,7 +54,8 @@ jobs:
           - verifyLegality.conf --rule legalVote
           - verifyLegality.conf --rule votedPowerIsImmutable method_reachability
           - verifyMisc.conf
-          - verifyPower_summary.conf
+          - verifyPower_summary.conf --rule onlyThreeTokens
+          -  verifyPower_summary.conf --rule method_reachability
           - verifyProposal_config.conf --rule createdProposalHasRoots
           - verifyProposal_config.conf --rule startedProposalHasConfig
           - verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposalUnusedId method_reachability
@@ -66,4 +67,12 @@ jobs:
           - verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration proposalTimeStateTransitionCompliance proposalLegalStates method_reachability
           - verifyVoting_and_tally.conf --rule voteUpdatesTally
           - verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresentative_and_submitVote
-          - verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting onlyVoteCanChangeResult votingTallyCanOnlyIncrease strangerVoteUnchanged otherProposalUnchanged otherVoterUntouched cannot_vote_twice_with_submitVote_and_submitVoteAsRepresentative cannot_vote_twice_with_submitVoteAsRepresentative_and_submitVote method_reachability
+          - verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult
+          - verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting
+          - verifyVoting_and_tally.conf --rule  votingTallyCanOnlyIncrease 
+          - verifyVoting_and_tally.conf --rule strangerVoteUnchanged 
+          - verifyVoting_and_tally.conf --rule otherProposalUnchanged 
+          - verifyVoting_and_tally.conf --rule otherVoterUntouched 
+          - verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepresentative
+          - verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_submitVote
+          - verifyVoting_and_tally.conf --rule method_reachability