chore: increase loop iteration to 4

morpho-org · Mar 6, 2024 · ed73f4b · ed73f4b
1 parent aff7755
commit ed73f4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/RewardsDistributor.conf b/certora/confs/RewardsDistributor.conf
@@ -14,7 +14,7 @@
         "@rari-capital/solmate=lib/solmate",
     ],
     "optimistic_loop": true,
-    "loop_iter": "2",
+    "loop_iter": "4",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "Rewards Distributor",