I compile my project just fine but when I run manticore for my solidity file, it return Stack too deep error. I did some research but none of which I found work. Here is the config I'm setting:
solidity: {
compilers: [
{
version: "0.8.4",
settings: {
optimizer: {
enabled: true,
runs: 200,
details: {
yul: true
}
},
viaIR : false,
},
},
],
},
How can I fix this error? Thanks