echidna-test: (^?!): empty Fold

[AsfndAmin]

getting this error when running ./echidna-test contract.sol

[AsfndAmin]

CallStack (from HasCallStack): error, called at src/Control/Lens/Fold.hs:1296:28 in lens-4.19.2-7Q00MKR54DVFFru2tZkQiv:Control.Lens.Fold ^?!, called at src/EVM/Solidity.hs:433:19 in hevm-0.48.0-3yc97MaS5pIDvLZRLvuryr:EVM.Solidity

[elopez]

Hi! Thanks for the report @AsfndAmin!. Could you let us know which slither and echidna versions you are using?

echidna-test --version
slither --version

If you can also provide a copy of the solidity code that causes this error, that would be great.

[gustavo-grieco]

Please reopen if necessary, we need more information to track down the issue.