From ebb1b62ae62ebc8fd2a9f2d0bc7246f623b6166d Mon Sep 17 00:00:00 2001
From: sunbreak1211 <sunbreak1211@proton.me>
Date: Thu, 17 Oct 2024 16:46:50 -0300
Subject: [PATCH] Use no optimization for mocks and aux

---
 certora/L1FarmProxy.conf | 7 ++++++-
 certora/L2FarmProxy.conf | 6 +++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

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"
     ],