echidna
echidna copied to clipboard
Change executable name from echidna-test to echidna
Fixes https://github.com/crytic/echidna/issues/815
This will break a number of CI tests (including echidna-action). Let's wait for a "major" release to implement it.
@elopez can you take a quick look to see how this will impact github actions?