diff --git a/test/unit/esr/ESR.Fuzz.t.sol b/test/unit/esr/ESR.Fuzz.t.sol index 9b3e363f..b98cd5de 100644 --- a/test/unit/esr/ESR.Fuzz.t.sol +++ b/test/unit/esr/ESR.Fuzz.t.sol @@ -12,13 +12,13 @@ contract ESRFuzzTest is ESRTest { assertGe(esrSlot.interestLeft, accruedInterest); } - // totalAssets should be equal to the balance after SMEAR has passed - // function invariant_totalAssetsShouldBeEqualToBalanceAfterSMEAR() public { - // vm.assume(asset.balanceOf(address(esr)) <= type(uint168).max); - // esr.gulp(); - // skip(esr.INTEREST_SMEAR()); // make sure smear has passed - // assertEq(esr.totalAssets(), asset.balanceOf(address(esr))); - // } + //totalAssets should be equal to the balance after SMEAR has passed + function invariant_totalAssetsShouldBeEqualToBalanceAfterSMEAR() public { + vm.assume(asset.balanceOf(address(esr)) <= type(uint168).max); + esr.gulp(); + skip(esr.INTEREST_SMEAR()); // make sure smear has passed + assertEq(esr.totalAssets(), asset.balanceOf(address(esr))); + } function testFuzz_interestAccrued_under_uint168(uint256 interestAmount, uint256 depositAmount, uint256 timePassed) public