add tolerance for settling debt

ajna-finance · Jan 5, 2024 · b209d3a · b209d3a
1 parent 11748a7
commit b209d3a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/forge/invariants/base/handlers/unbounded/UnboundedLiquidationPoolHandler.sol b/tests/forge/invariants/base/handlers/unbounded/UnboundedLiquidationPoolHandler.sol
@@ -441,6 +441,7 @@ abstract contract UnboundedLiquidationPoolHandler is BaseHandler {
 
                     maxDepth_ -= 1;
                 }
+                reservesErrorMargin = Math.max(reservesErrorMargin, (reservesAfterAction + reservesBeforeAction) / 1e16);
             }
             // **CT2**: Keep track of bucketIndex when borrower is removed from auction to check collateral added into that bucket
             if (