split rules of verifyPower_summary

Certora · Dec 6, 2023 · 29e0901 · 29e0901
1 parent 88b3d29
commit 29e0901
Showing 1 changed file with 2 additions and 1 deletion.
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