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