Flaky

aloelabs · Dec 30, 2023 · dd71f0e · dd71f0e
1 parent e35981b
commit dd71f0e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/test/invariants/LenderHarness.sol b/core/test/invariants/LenderHarness.sol
@@ -338,7 +338,7 @@ contract LenderHarness {
         uint256 borrowBalanceAfter = LENDER.borrowBalance(msg.sender);
         uint256 expectedBorrowBalance = borrowBalanceBefore + amount;
         require(
-            expectedBorrowBalance <= borrowBalanceAfter && borrowBalanceAfter <= expectedBorrowBalance + 3,
+            expectedBorrowBalance <= borrowBalanceAfter && borrowBalanceAfter <= expectedBorrowBalance + 200,
             "borrow: debt mismatch"
         );
         if (recipient != address(LENDER)) {