Emilio López

Hi! Thanks for the report @AsfndAmin!. Could you let us know which slither and echidna versions you are using? ```sh echidna-test --version slither --version ``` If you can also provide...

Hi @adarshsrivastava11! Thanks for the PR. We have recently updated the Dockerfile for the next etheno release (branch rc-1) and it's already using Ubuntu 20.04: https://github.com/crytic/etheno/blob/rc-1/Dockerfile#L36 You can pull the...

Hi @lubos-harasta, which docker container tag are you using? Please give v0.3a1 a try if you were using something else or not specifying a tag: https://github.com/crytic/etheno/pkgs/container/etheno%2Fetheno/27899969?tag=v0.3a1

I believe this has been implemented in https://github.com/crytic/solc-select/pull/86

Hi! I suspect crytic-compile is getting the options through echidna, but not slither. [Echidna calls slither with "ignore-compile" set](https://github.com/crytic/echidna/blob/master/lib/Echidna/Processor.hs#L135-L148), so normally any compilation options are not needed, but IIRC ignore-compile...

Cool! Then we should probably add the missing arguments to the Slither call 🤔 Let's leave this issue open so we can track the fix.

Hi! Can you try running `slither --print echidna --json - pancake/` and confirming if that fails? Can you also confirm which slither version you have installed? (`slither --version` should tell...

> > Hi! Can you try running `slither --print echidna --json - pancake/` and confirming if that fails? Can you also confirm which slither version you have installed? (`slither --version`...

There's probably room for improvement in the Dockerfile still. Most of the build time is spent building Haskell deps, so maybe we can do something like: 1. copy just `stack.yaml`...

Hi, thanks for the report. The echidna docker container has solc 0.5.7 preinstalled, but your contract requires a newer version. You'll need to remove that solc installation and install a...