chore: loop iter to 4 in merkle tree

morpho-org · Mar 6, 2024 · 527a8c6 · 527a8c6
1 parent ed73f4b
commit 527a8c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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",