From 6ba70f4c9fb765b28891576f8120b4eb732738ff Mon Sep 17 00:00:00 2001
From: ConjunctiveNormalForm <zhiyuan.zach.yang@gmail.com>
Date: Wed, 15 Nov 2023 18:03:08 -0500
Subject: [PATCH] via-ir in ci

---
 foundry.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/foundry.toml b/foundry.toml
index 4db6363c..b6685766 100644
--- a/foundry.toml
+++ b/foundry.toml
@@ -9,5 +9,6 @@ fs_permissions = [{ access = "read-write", path = ".forge-snapshots/"}]
 
 [profile.ci]
 fuzz_runs = 100000
+via_ir = true
 
 # See more config options https://github.com/foundry-rs/foundry/tree/master/config