Use no optimization for mocks and aux

makerdao · Oct 17, 2024 · 4ec1189 · 4ec1189
1 parent 2250206
commit 4ec1189
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 4 deletions.
diff --git a/certora/L1GovernanceRelay.conf b/certora/L1GovernanceRelay.conf
@@ -5,7 +5,11 @@
         "test/mocks/MessengerMock.sol",
     ],
     "solc": "solc-0.8.21",
-    "solc_optimize": "200",
+    "solc_optimize_map": {
+        "L1GovernanceRelay": "200",
+        "Auxiliar": "0",
+        "MessengerMock": "0"
+    },
     "link": [
         "L1GovernanceRelay:messenger=MessengerMock"
     ],

diff --git a/certora/L1TokenBridge.conf b/certora/L1TokenBridge.conf
@@ -6,7 +6,12 @@
         "test/mocks/GemMock.sol"
     ],
     "solc": "solc-0.8.21",
-    "solc_optimize": "200",
+    "solc_optimize_map": {
+        "L1TokenBridge": "200",
+        "Auxiliar": "0",
+        "MessengerMock": "0",
+        "GemMock": "0"
+    },
     "link": [
         "L1TokenBridge:messenger=MessengerMock"
     ],

diff --git a/certora/L2GovernanceRelay.conf b/certora/L2GovernanceRelay.conf
@@ -4,7 +4,10 @@
         "test/mocks/MessengerMock.sol",
     ],
     "solc": "solc-0.8.21",
-    "solc_optimize": "200",
+    "solc_optimize_map": {
+        "L2GovernanceRelay": "200",
+        "MessengerMock": "0"
+    },
     "link": [
         "L2GovernanceRelay:messenger=MessengerMock"
     ],

diff --git a/certora/L2TokenBridge.conf b/certora/L2TokenBridge.conf
@@ -6,7 +6,12 @@
         "test/mocks/GemMock.sol"
     ],
     "solc": "solc-0.8.21",
-    "solc_optimize": "200",
+    "solc_optimize_map": {
+        "L2TokenBridge": "200",
+        "Auxiliar": "0",
+        "MessengerMock": "0",
+        "GemMock": "0"
+    },
     "link": [
         "L2TokenBridge:messenger=MessengerMock"
     ],