chore: update timeout for exact math

morpho-org · Mar 21, 2024 · 34c7194 · 34c7194
1 parent b06f5f7
commit 34c7194
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/confs/ExactMath.conf b/certora/confs/ExactMath.conf
@@ -9,6 +9,7 @@
         "-depth 3",
         "-smt_hashingScheme plaininjectivity",
         "-mediumTimeout 30",
+        "-timeout 3600",
     ],
     "server": "production",
     "msg": "Morpho Blue Exact Math"