fix: revert timeout on reallocate input validation

morpho-org · Apr 15, 2024 · 1f26537 · 1f26537
1 parent 7bbd846
commit 1f26537
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
@@ -20,7 +20,7 @@
     "prover_args": [
         "-depth 3",
         "-mediumTimeout 20",
-        "-timeout 120",
+        "-timeout 300",
     ],
     "rule_sanity": "basic",
     "server": "production",