Use no optimization for mocks and aux

makerdao · Oct 17, 2024 · ebb1b62 · ebb1b62
1 parent 5632164
commit ebb1b62
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/certora/L1FarmProxy.conf b/certora/L1FarmProxy.conf
@@ -6,7 +6,12 @@
         "test/mocks/GemMock.sol"
     ],
     "solc": "solc-0.8.21",
-    "solc_optimize": "200",
+    "solc_optimize_map": {
+        "L1FarmProxy": "200",
+        "Auxiliar": "0",
+        "L1TokenBridgeMock": "0",
+        "GemMock": "0"
+    },
     "link": [
         "L1FarmProxy:l1Bridge=L1TokenBridgeMock"
     ],

diff --git a/certora/L2FarmProxy.conf b/certora/L2FarmProxy.conf
@@ -5,7 +5,11 @@
         "test/mocks/FarmMock.sol"
     ],
     "solc": "solc-0.8.21",
-    "solc_optimize": "200",
+    "solc_optimize_map": {
+        "L2FarmProxy": "200",
+        "GemMock": "0",
+        "FarmMock": "0"
+    },
     "link": [
         "L2FarmProxy:farm=FarmMock"
     ],