Merge pull request #90 from morpho-org/certora/solc-optimize

Remove last `solc_optimize_map`
morpho-org · Nov 21, 2024 · efcd39b · efcd39b
2 parents 81aa67d + 587269e
commit efcd39b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/certora/confs/Liveness.conf b/certora/confs/Liveness.conf
@@ -11,10 +11,7 @@
   ],
   "solc_via_ir": true,
   "verify": "PreLiquidation:certora/specs/Liveness.spec",
-  "solc_optimize_map": {
-    "Morpho": "99999",
-    "PreLiquidation": "99999"
-  },
+  "solc_optimize": "99999",
   "solc_map": {
     "Morpho": "solc-0.8.19",
     "PreLiquidation": "solc-0.8.27"