test: uncomment invariant test

euler-xyz · May 23, 2024 · 57a198e · 57a198e
1 parent f6fd0ee
commit 57a198e
Showing 1 changed file with 7 additions and 7 deletions.
diff --git 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