From 760edf9b87bbbf79000eb1883ae4dc76384d6144 Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Thu, 2 Dec 2021 14:01:44 -0500
Subject: [PATCH] tweaked script to run quickly

---
 certora/scripts/verifyAll.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/certora/scripts/verifyAll.sh b/certora/scripts/verifyAll.sh
index 6a7a42fa9..f55ab8abf 100644
--- 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
\ No newline at end of file
+done