From e0cd4befecf10de2517429be2f9081aaf9315dd7 Mon Sep 17 00:00:00 2001
From: teddy <teddy@defi.sucks>
Date: Mon, 26 Aug 2024 09:45:18 -0300
Subject: [PATCH] fix: walk around possible medusa issue

I'm getting an 'unknown opcode 0x4e' in ProtocolAtomic constructor when
calling the MockL2ToL2CrossDomainMessenger for the first time
---
 packages/contracts-bedrock/foundry.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/contracts-bedrock/foundry.toml b/packages/contracts-bedrock/foundry.toml
index 0e4aa4d0e354..0e0d6959c5b6 100644
--- a/packages/contracts-bedrock/foundry.toml
+++ b/packages/contracts-bedrock/foundry.toml
@@ -103,6 +103,7 @@ script = 'test/kontrol/proofs'
 src = 'test/properties/medusa/'
 test = 'test/properties/medusa/'
 script = 'test/properties/medusa/'
+via-ir=true
 
 [profile.halmos]
 src = 'test/properties/halmos/'