fix: timeout Liveness

morpho-org · Jun 20, 2024 · 4dc9aac · 4dc9aac
1 parent 491e2e4
commit 4dc9aac
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
@@ -16,10 +16,9 @@
     "loop_iter": "2",
     "optimistic_loop": true,
     "prover_args": [
-        "-depth 3",
-        "-mediumTimeout 20",
-        "-timeout 120",
+        "-smt_easy_LIA true",
     ],
+    "smt_timeout": "7000",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "MetaMorpho Liveness"