fix: bump timeout revert

morpho-org · Apr 15, 2024 · 022f9fb · 022f9fb
1 parent 1f26537
commit 022f9fb
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 300",
+        "-timeout 3600",
     ],
     "rule_sanity": "basic",
     "server": "production",