chore: ratio math configuration for timeout

morpho-org · May 13, 2024 · 258b7ba · 258b7ba
1 parent 6a0b079
commit 258b7ba
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/certora/confs/RatioMath.conf b/certora/confs/RatioMath.conf
@@ -7,8 +7,7 @@
     "rule_sanity": "basic",
     "prover_args": [
         "-smt_hashingScheme plaininjectivity",
-        "-mediumTimeout 30",
-        "-timeout 3600",
+        "-smt_easy_LIA true",
     ],
     "server": "production",
     "msg": "Morpho Blue Ratio Math"