split certora depth

safe-global · Aug 24, 2023 · f7e49f2 · f7e49f2
1 parent 4c1629b
commit f7e49f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/certora/scripts/verifyModules.sh b/certora/scripts/verifyModules.sh
@@ -10,7 +10,7 @@ certoraRun  certora/harnesses/SafeHarness.sol \
     --verify SafeHarness:certora/specs/ModuleReach.spec \
     --solc solc7.6 \
     --optimistic_loop \
-    --prover_args '-smt_groundQuantifiers false' \
+    --prover_args '-smt_groundQuantifiers false -depth 20' \
     --loop_iter 3 \
     --optimistic_hashing \
     --hashing_length_bound 352 \

diff --git a/certora/scripts/verifyOwners.sh b/certora/scripts/verifyOwners.sh
@@ -10,7 +10,7 @@ certoraRun  certora/harnesses/SafeHarness.sol \
     --verify SafeHarness:certora/specs/OwnerReach.spec \
     --solc solc7.6 \
     --optimistic_loop \
-    --prover_args '-smt_groundQuantifiers false' \
+    --prover_args '-smt_groundQuantifiers false -depth 20' \
     --loop_iter 3 \
     --optimistic_hashing \
     --hashing_length_bound 352 \