change .conf to avoid timeouts

Certora · Dec 4, 2024 · 42539b4 · 42539b4
1 parent 1394ac5
commit 42539b4
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/security/certora/confs/payloads/verifyPayloadsController.conf b/security/certora/confs/payloads/verifyPayloadsController.conf
@@ -12,9 +12,8 @@
     "msg": "All payloadControllers rules",
     "optimistic_hashing": true,
     "optimistic_loop": true,
-    "prover_args": [
-        " -smt_LIASolvers [z3:def,z3:lia1,z3:lia2] -smt_NIASolvers [z3:def]"
-    ],
+//    "prover_args": [" -smt_LIASolvers [z3:def,z3:lia1,z3:lia2] -smt_NIASolvers [z3:def]"    ],
+    "prover_args": ["-depth 0"],
     "smt_timeout": "6000",
     "build_cache": true,
     "solc": "solc8.19",