Installing Echinda-test on MacOS

Topic: Install Echidna binaries. We are avoiding building it from scratch. Some other day for that.

Add your Python modules to your path to allow you to use echidna dependencies. Add this to your ~/.zshrc or ~/.bashrc - or something similar.

export PATH=$PATH:/Users/abhinavmir/Library/Python/3.9/bin

Add this via source ~/.zshrc.

Now download the binaries from here: github.com/crytic/echidna/releases

Now move it into /usr/local/bin using mv echidna-test /usr/local/bin.

Once done, add export PATH=$PATH:/usr/local/bin/echidna-test to ~/.zshrc - now source ~/.zshrc.

Now, pip3 install crytic-compile.

Add export PATH=$PATH:/Users/<you>/Library/Python/<your version>/bin - but if you're on Linux, change that to wherever Python binaries are. Restart your shell.

Now, echidna-test should run with no issues.