From 022f9fbf258cc44667518573eb774fe99d3421a0 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Mon, 15 Apr 2024 10:23:12 +0200
Subject: [PATCH] fix: bump timeout revert

---
 certora/confs/Reverts.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
index d1aee2ad..cec44bdc 100644
--- 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",