chore: add back methods in lastUpdated

morpho-org · Nov 30, 2024 · 7d16983 · 7d16983
1 parent bf5dfa2
commit 7d16983
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/certora/specs/LastUpdated.spec b/certora/specs/LastUpdated.spec
@@ -10,6 +10,8 @@ methods {
     function ERC20.safeTransferFrom(address, address, address, uint256) external envfree;
 
     function Morpho.lastUpdate(MorphoHarness.Id) external returns(uint256) envfree;
+    function Morpho.virtualTotalSupplyAssets(MorphoHarness.Id) external returns(uint256) envfree;
+    function Morpho.virtualTotalSupplyShares(MorphoHarness.Id) external returns(uint256) envfree;
 }
 
 function hasCuratorRole(address user) returns bool {