fix: increase timeout for RatioMath

morpho-org · Nov 21, 2023 · f5dd194 · f5dd194
1 parent 526b2de
commit f5dd194
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/certora/configuration/RatioMath.conf b/certora/configuration/RatioMath.conf
@@ -5,7 +5,8 @@
     "verify": "MorphoHarness:certora/specs/RatioMath.spec",
     "prover_args": [
         "-smt_hashingScheme plaininjectivity",
-        "-mediumTimeout 30"
+        "-mediumTimeout 30",
+        "-timeout 3600"
     ],
     "msg": "Morpho Blue Ratio Math"
 }