test: fix invariant tests after changing urgent redemption behavior

liquity · Aug 30, 2024 · 84a43bd · 84a43bd
1 parent 79aa4f6
commit 84a43bd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol b/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol
@@ -2647,6 +2647,7 @@ contract InvariantsTestHandler is BaseHandler, BaseMultiCollateralTest {
             r.totalDebtRedeemed += debtRedeemed;
 
             amount -= debtRedeemed;
+            if (amount == 0) break; // XXX why at the end?
         }
     }