everything except Alex fix for totalVotes_sums_accounts

2022-04-07 15:49:37 -07:00
parent b2b72e7783
commit 140df5b7ce
3 changed files with 26 additions and 63 deletions
--- a/certora/scripts/ERC20VotesRule.sh
+++ b/certora/scripts/ERC20VotesRule.sh
@ -20,4 +20,4 @@ certoraRun \
    --rule ${rule} \
    --msg "${msg}" \
    --staging "alex/new-dt-hashing-alpha" \
-    --rule_sanity \
+    # --rule_sanity \
--- a/certora/scripts/verifyERC20Votes.sh
+++ b/certora/scripts/verifyERC20Votes.sh
@ -19,5 +19,6 @@ certoraRun \
    --solc solc8.2 \
    --optimistic_loop \
    --loop_iter 4 \
-    --staging "Eyal/SanityWithoutCallTrace" \
-    --msg "${msg}"
+    --staging "alex/new-dt-hashing-alpha" \
+    --msg "${msg}" \
+    --rule_sanity