diff --git a/certora/L1FarmProxy.conf b/certora/L1FarmProxy.conf
index 7bd342b..fdd1df4 100644
--- 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
index fa8e779..e45537f 100644
--- 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"
     ],