From 8baee1bf8e440798e991578dae25b6d8ee905183 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Wed, 10 Apr 2024 11:25:45 +0200
Subject: [PATCH] refactor: tweak exact math conf

---
 certora/confs/ExactMath.conf | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/certora/confs/ExactMath.conf b/certora/confs/ExactMath.conf
index ba5864d4..648bfbf8 100644
--- a/certora/confs/ExactMath.conf
+++ b/certora/confs/ExactMath.conf
@@ -10,9 +10,8 @@
         "-depth 5",
         "-mediumTimeout 5",
         "-timeout 3600",
-        "-smt_nonLinearArithmetic true",
         "-adaptiveSolverConfig false",
-        "-solvers [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:lia2]"
+        "-solvers [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:lia2]",
     ],
     "server": "production",
     "msg": "Morpho Blue Exact Math"