fix: walk around possible medusa issue

I'm getting an 'unknown opcode 0x4e' in ProtocolAtomic constructor when calling the MockL2ToL2CrossDomainMessenger for the first time
defi-wonderland · Aug 26, 2024 · 7993afa · 7993afa
1 parent a8ee764
commit 7993afa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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/'