You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I use echidna out of trailofbits/eth-security-toolbox. But it fails and cannot find my contract or config file at all.
After running this script, - "toolbox": "docker run -it --rm -v PWD:/src trailofbits/eth-security-toolbox", echidna command returns error:
echidna /src/contracts/test/fuzzing/VaultFuzzTest.sol --contract VaultFuzzTest --config /src/contracts/test/fuzzing/config.yaml
echidna: /src/contracts/test/fuzzing/config.yaml: withBinaryFile: does not exist (No such file or directory)
Advice what can help here, i tried to move contract and config to base project path and run it as
"echidna VaultFuzzTest.sol --contract VaultFuzzTest --config config.yaml", but it didn't help.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I use echidna out of trailofbits/eth-security-toolbox. But it fails and cannot find my contract or config file at all.
After running this script, - "toolbox": "docker run -it --rm -v PWD:/src trailofbits/eth-security-toolbox", echidna command returns error:
echidna /src/contracts/test/fuzzing/VaultFuzzTest.sol --contract VaultFuzzTest --config /src/contracts/test/fuzzing/config.yaml
echidna: /src/contracts/test/fuzzing/config.yaml: withBinaryFile: does not exist (No such file or directory)
Advice what can help here, i tried to move contract and config to base project path and run it as
"echidna VaultFuzzTest.sol --contract VaultFuzzTest --config config.yaml", but it didn't help.
Beta Was this translation helpful? Give feedback.
All reactions