Compile with viaIR

[wk0]

Is it possible to compile with viaIR? Currently getting stack too deep when running slither. Works totally with foundry.toml viaIR: true, but doesn't seem to be a config option for crytic-compile.

Currently bypassing by running --compile-force-framework foundry

[0xalpharush]

What version of slither are you using? If 0.9.2, it should just run forge build --build-info which I believes use the default config in the config (this is controlled by foundry, not slither/ crytic-compile IIUC). You shouldn't need to use --compile-force-framework if a foundry.toml is available fwiw. Aside, you can get a stack too deep error even if using --via-ir with solc so it may be good to double check that forge build isn't failing bc of stack too deep independently of slither.