MoreRulesToTheGodOfRules

2021-11-08 17:18:36 +02:00
parent ad7993d7d5
commit 751277a1ab
3 changed files with 64 additions and 10 deletions
--- a/certora/scripts/GovernorCountingSimple.sh
+++ b/certora/scripts/GovernorCountingSimple.sh
@ -1,2 +1,8 @@
 certoraRun certora/harnesses/GovernorCountingSimpleHarness.sol \
-    --verify GovernorCountingSimpleHarness:certora/specs/Privileged.spec
+    --verify GovernorCountingSimpleHarness:certora/specs/GovernorBase.spec \
+    --solc solc8.0 \
+    --staging \
+    --optimistic_loop \
+    --settings -copyLoopUnroll=4 \
+    --rule doubleVoting \
+    --msg "$1"