From 4dc9aacf50ae8fd97a224cc8c6c5c69b655b48a3 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Thu, 20 Jun 2024 14:32:03 +0200
Subject: [PATCH] fix: timeout Liveness

---
 certora/confs/Liveness.conf | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
index ed583baf..f391344c 100644
--- 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"