fix: adapt script to CI

morpho-org · Aug 14, 2023 · 6bafcf1 · 6bafcf1
1 parent 799781d
commit 6bafcf1
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/certora/scripts/verifyBlue.sh b/certora/scripts/verifyBlue.sh
@@ -1,4 +1,6 @@
-#!/bin/sh
+#!/bin/bash
+
+set -euxo pipefail
 
 certoraRun \
     certora/harness/MorphoHarness.sol \
@@ -7,5 +9,4 @@ certoraRun \
     --loop_iter 3 \
     --optimistic_loop \
     --msg "Morpho Blue" \
-    --send_only \
     "$@"