echidna-string-manipulation run docker pull trailofbits/eth-security-toolbox docker run -it -v "$PWD":/home/training trailofbits/eth-security-toolbox solc-select 0.8.0 cd /home/training echidna-test . --config contracts/config.yaml