add invariant

euler-xyz · Jul 5, 2024 · 6b7546f · 6b7546f
1 parent 0994bab
commit 6b7546f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/invariant/EulerAggregationLayerInvariants.t.sol b/test/invariant/EulerAggregationLayerInvariants.t.sol
@@ -124,6 +124,13 @@ contract EulerAggregationVaultInvariants is EulerAggregationVaultBase {
         }
     }
 
+    function invariant_interestLeft() public view {
+        EulerAggregationVault.AggregationVaultSavingRate memory aggregationVaultSavingRate =
+            eulerAggregationVault.getAggregationVaultSavingRate();
+        uint256 accruedInterest = eulerAggregationVault.interestAccrued();
+        assertGe(aggregationVaultSavingRate.interestLeft, accruedInterest);
+    }
+
     function _deployOtherStrategies() private {
         eTSTsecond = IEVault(
             factory.createProxy(address(0), true, abi.encodePacked(address(assetTST), address(oracle), unitOfAccount))