tweaked script to run quickly

3 years ago · 760edf9b87
parent 380b87dc0c
commit 760edf9b87
1 changed files with 5 additions and 1 deletions
--- a/certora/scripts/verifyAll.sh
+++ b/certora/scripts/verifyAll.sh
@ -1,3 +1,5 @@
+#!/bin/bash
+
 for contract in certora/harnesses/Wizard*.sol;
 do
    for spec in certora/specs/*.spec;
@ -17,6 +19,7 @@ do
                --disableLocalTypeChecking \
                --optimistic_loop \
                --settings -copyLoopUnroll=4 \
+                --send_only \
                --msg "checking $specFile on ${contractFile%.*}"
            else
                certoraRun certora/harnesses/ERC20VotesHarness.sol certora/harnesses/$contractFile \
@ -26,8 +29,9 @@ do
                --disableLocalTypeChecking \
                --optimistic_loop \
                --settings -copyLoopUnroll=4 \
+                --send_only \
                --msg "checking $specFile on ${contractFile%.*}"
            fi
        fi
    done
-done
+done