remove settings that are unnecessary

safe-global · Aug 23, 2023 · 0ddb77c · 0ddb77c
1 parent 949a09b
commit 0ddb77c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/certora/scripts/verifySafe.sh b/certora/scripts/verifySafe.sh
@@ -10,8 +10,7 @@ certoraRun  certora/harnesses/SafeHarness.sol \
     --verify SafeHarness:certora/specs/Safe.spec \
     --solc solc7.6 \
     --optimistic_loop \
-    --prover_args '-optimisticFallback true -s z3 -copyLoopUnroll 5 -mediumTimeout 3 -depth 20' \
-    --smt_timeout 500 \
+    --prover_args '-optimisticFallback true -s z3 -copyLoopUnroll 5 -mediumTimeout 5 -depth 30' \
     --loop_iter 2 \
     --rule checkSignatures \
     --optimistic_hashing \