Skip to content
This repository has been archived by the owner on May 17, 2024. It is now read-only.

echidna-test .... openBinaryFile: does not exist #7

Open
nexevae opened this issue Sep 15, 2022 · 2 comments
Open

echidna-test .... openBinaryFile: does not exist #7

nexevae opened this issue Sep 15, 2022 · 2 comments

Comments

@nexevae
Copy link

nexevae commented Sep 15, 2022

I have been going through Patrick's YouTube video about auditing smart contracts and first off: it is awesome! I have been learning Solidity, but wanting to focus on blockchain security; hence, this video lol. However, the reason I am commenting:

I am to the part in the video (~18:32/33/34) where the command to run echidna is typed in. When I type it in (and I have tried copying & pasting it as well to make sure I didn't make a typo), I keep getting an error message:
"echidna-test: /src/contracts/test/fuzzing/config.yaml: openBinaryFile: does not exist (No such file or directory)"

I have tried troubleshooting it myself (Google, StackOverflow, Trail of Bits Docker info page, Trail of Bits' Using Echidna blog) and cannot figure out a solution.

I've attached a screenshot of what I am seeing when I run it. Are there any ways to fix this? Any suggestions?

![echidna error](https://user-images.githubusercontent.com/97063178/190487210-e4e9f910-b6b0-4406-b029-d395a13acf80.JPG

@auditism
Copy link

Did you figure out ? I am having the same issue I guess that that I am writing the wrong path

@Shradhesh71
Copy link

Have you solved this issue? I have been facing the same problem.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants