Thanks to visit codestin.com
Credit goes to github.com

Update `echidna-test` to `echidna` #105

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

ChmielewskiKamil wants to merge 2 commits into crytic:master from ChmielewskiKamil:master

ChmielewskiKamil commented Jul 6, 2023

Due to the change in the executable name in the Echidna 2.1.0 Release, hybrid-echidna seems to be broken.

This PR:

updates the executable name in the runner.py
updates the Usage section in the docs to reflect the name change

ChmielewskiKamil added 2 commits

July 6, 2023 21:48


          Update CLI invocation from echidna-test to echidna

1d50d43


          Change echidna-test to echidna due to rename

686c14b

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet