Emilio López

yep, you can add the echidna `--contract Foo` option for that

To add on to what @ggrieco-tob said, and for anyone else reading in the future, there is no manual way in Echidna to pass constructor arguments; you should use a...

Being able to output results to a given file would also come in handy for people using the Echidna GitHub action and wanting to use echidna-test results on a later...

Hi @iskdrews, thanks for the report. It looks like you don't have permissions to write on the target folder, you might want to check that you can write there. If...

I've been trying to complete this CTF with Echidna for the last week or two, here's a recap of my findings so far: \# | Name | Solved | Echidna...

Hi! Here's a expanded reference of the original table: * 💪: Echidna breaks the invariant by itself or mostly by itself. The echidna-specific code needed contains an echidna property to...

I've also seen this happen on Android, and it is a bit worse on mobile, as the error cannot be dismissed, so the channel is rendered unusable. Probably related: zulip/zulip-mobile#4726,...

Hi! Thanks for the report, this looks like an instance of issues https://github.com/crytic/crytic-compile/issues/275 & https://github.com/crytic/crytic-compile/pull/282. Do you have `.sol` files with no contracts in them by chance?

I can't say for sure, but it seems to be the same issue judging by the error you're getting. An easy way to try is adding a dummy contract (eg...

Hi @aranyadan, thanks for the PR! 👍 would you mind fixing the [linting error](https://github.com/crytic/slither/runs/7781991657?check_suite_focus=true#step:6:198) so it can be merged?