chore:remove pre-liquidation harness

morpho-org · Sep 30, 2024 · 7463846 · 7463846
1 parent d88bf7e
commit 7463846
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 23 deletions.
diff --git a/certora/confs/Immutability.conf b/certora/confs/Immutability.conf
@@ -1,10 +1,10 @@
 {
     "files": [
-        "certora/helpers/PreLiquidationHarness.sol",
+        "src/PreLiquidation.sol",
     ],
     "solc": "solc-0.8.27",
-    "solc_via_ir" : true,	
-    "verify": "PreLiquidationHarness:certora/specs/Immutability.spec",
+    "solc_via_ir" : true,
+    "verify": "PreLiquidation:certora/specs/Immutability.spec",
     "prover_args": [
         "-depth 3",
         "-mediumTimeout 20",

diff --git a/certora/confs/Reentrancy.conf b/certora/confs/Reentrancy.conf
@@ -1,10 +1,10 @@
 {
     "files": [
-        "certora/helpers/PreLiquidationHarness.sol",
+        "src/PreLiquidation.sol",
     ],
     "solc": "solc-0.8.27",
     "solc_via_ir" : true,
-    "verify": "PreLiquidationHarness:certora/specs/Reentrancy.spec",
+    "verify": "PreLiquidation:certora/specs/Reentrancy.spec",
     "prover_args": [
         "-enableStorageSplitting false",
         "-depth 3",

diff --git a/certora/helpers/PreLiquidationHarness.sol b/certora/helpers/PreLiquidationHarness.sol