diff --git a/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol b/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol index 2c77b9dc..63f0d73a 100644 --- 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? } }