chore: try medium timeout 20

morpho-org · Dec 11, 2024 · 914c244 · 914c244
1 parent 6b6a8c7
commit 914c244
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/LiquidateBuffer.conf b/certora/confs/LiquidateBuffer.conf
@@ -7,7 +7,7 @@
   "verify": "MorphoHarness:certora/specs/LiquidateBuffer.spec",
   "prover_args": [
     "-depth 5",
-    "-mediumTimeout 5",
+    "-mediumTimeout 20",
     "-timeout 3600",
     "-adaptiveSolverConfig false",
     "-smt_nonLinearArithmetic true",