refactor: unlink Morpho

morpho-org · Nov 29, 2024 · 4a60be3 · 4a60be3
1 parent a383a80
commit 4a60be3
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 20 deletions.
diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
@@ -1,15 +1,10 @@
 {
   "files": [
-    "lib/morpho-blue/certora/harness/MorphoHarness.sol",
     "lib/morpho-blue/certora/harness/Util.sol",
     "certora/helpers/MetaMorphoHarness.sol",
     "certora/helpers/ERC20Helper.sol"
   ],
-  "link": [
-    "MetaMorphoHarness:MORPHO=MorphoHarness"
-  ],
   "solc_map": {
-    "MorphoHarness": "solc-0.8.19",
     "Util": "solc-0.8.19",
     "MetaMorphoHarness": "solc-0.8.21",
     "ERC20Helper": "solc-0.8.21"

diff --git a/certora/confs/Timelock.conf b/certora/confs/Timelock.conf
@@ -1,15 +1,8 @@
 {
   "files": [
-    "lib/morpho-blue/certora/harness/MorphoHarness.sol",
     "certora/helpers/MetaMorphoHarness.sol"
   ],
-  "parametric_contracts": [
-    "MetaMorphoHarness"
-  ],
-  "solc_map": {
-    "MorphoHarness": "solc-0.8.19",
-    "MetaMorphoHarness": "solc-0.8.21"
-  },
+  "solc": "solc-0.8.21",
   "verify": "MetaMorphoHarness:certora/specs/Timelock.spec",
   "loop_iter": "2",
   "optimistic_loop": true,

diff --git a/certora/confs/Tokens.conf b/certora/confs/Tokens.conf
@@ -1,18 +1,13 @@
 {
   "files": [
-    "lib/morpho-blue/certora/harness/MorphoHarness.sol",
     "lib/morpho-blue/certora/harness/Util.sol",
     "certora/helpers/MetaMorphoHarness.sol",
     "certora/helpers/ERC20Helper.sol",
     "certora/dispatch/ERC20NoRevert.sol",
     "certora/dispatch/ERC20Standard.sol",
     "certora/dispatch/ERC20USDT.sol"
   ],
-  "link": [
-    "MetaMorphoHarness:MORPHO=MorphoHarness"
-  ],
   "solc_map": {
-    "MorphoHarness": "solc-0.8.19",
     "Util": "solc-0.8.19",
     "MetaMorphoHarness": "solc-0.8.21",
     "ERC20Helper": "solc-0.8.21",

diff --git a/certora/specs/LastUpdated.spec b/certora/specs/LastUpdated.spec
@@ -10,8 +10,6 @@ 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 {