From 527a8c6366543597cfad78258fdf6a01f8dddc45 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Wed, 6 Mar 2024 15:01:44 +0100
Subject: [PATCH] chore: loop iter to 4 in merkle tree

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

diff --git a/certora/confs/MerkleTrees.conf b/certora/confs/MerkleTrees.conf
index 259a42266..f90dfd073 100644
--- a/certora/confs/MerkleTrees.conf
+++ b/certora/confs/MerkleTrees.conf
@@ -4,7 +4,7 @@
     ],
     "solc": "solc8.13",
     "verify": "MerkleTrees:certora/specs/MerkleTrees.spec",
-    "loop_iter": "2",
+    "loop_iter": "4",
     "optimistic_loop": true,
     "rule_sanity": "basic",
     "server": "production",