fix: summaries expected supply assets

morpho-org · Sep 2, 2024 · 1c689ef · 1c689ef
1 parent 07b7d24
commit 1c689ef
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/certora/specs/SupplyCap.spec b/certora/specs/SupplyCap.spec
@@ -16,6 +16,8 @@ methods {
     function Util.libId(MetaMorphoHarness.MarketParams) external returns(MetaMorphoHarness.Id) envfree;
     function Util.toAssetsDown(uint256, uint256, uint256) external returns(uint256) envfree;
 
+    function _.expectedSupplyAssets(MetaMorphoHarness.Id id, address user) external => supplyAssets(id, user) expect(uint256);
+
     function _.balanceOf(address) external => DISPATCHER(true);
     function _.transfer(address, uint256) external => DISPATCHER(true);
     function _.transferFrom(address, address, uint256) external => DISPATCHER(true);