From 17da34aa61e6725952571349e3f457c58f4259b8 Mon Sep 17 00:00:00 2001 From: Daniel Simon Date: Wed, 23 Oct 2024 12:12:36 +0700 Subject: [PATCH] test: fix invariant tests after urgent redemption changes We're no longer touching Troves with zero debt. --- contracts/src/test/TestContracts/InvariantsTestHandler.t.sol | 3 +++ 1 file changed, 3 insertions(+) diff --git a/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol b/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol index 4c98071b4..12d242bdd 100644 --- a/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol +++ b/contracts/src/test/TestContracts/InvariantsTestHandler.t.sol @@ -2728,11 +2728,14 @@ contract InvariantsTestHandler is BaseHandler, BaseMultiCollateralTest { for (uint256 j = 0; j < r.batch.length; ++j) { uint256 troveId = _troveIdOf(i, r.batch[j]); + if (!_troveIds[i].has(troveId)) continue; // skip non-existent Trove if (r.redeemedIds.has(troveId)) continue; // skip duplicate entry r.redeemedIds.add(troveId); LatestTroveData memory trove = branches[i].troveManager.getLatestTroveData(troveId); + if (trove.entireDebt == 0) continue; // nothing to redeem + uint256 debtRedeemed = Math.min(amount, trove.entireDebt); uint256 collRedeemed = debtRedeemed * (DECIMAL_PRECISION + URGENT_REDEMPTION_BONUS) / _price[i];