added munging to scripts

2021-12-09 17:17:49 -05:00
parent d95c3eeee1
commit 2a75aa19bd
6 changed files with 15 additions and 3 deletions
--- a/certora/scripts/GovernorCountingSimple-counting.sh
+++ b/certora/scripts/GovernorCountingSimple-counting.sh
@ -1,3 +1,5 @@
+make -C certora munged
+
 certoraRun  certora/harnesses/ERC20VotesHarness.sol certora/harnesses/GovernorBasicHarness.sol \
    --verify GovernorBasicHarness:certora/specs/GovernorCountingSimple.spec \
    --solc solc8.2 \
@ -5,4 +7,4 @@ certoraRun  certora/harnesses/ERC20VotesHarness.sol certora/harnesses/GovernorBa
    --optimistic_loop \
    --settings -copyLoopUnroll=4 \
    --rule hasVotedCorrelation \
-    --msg "$1"
+    --msg "$1"