crytic / crytic/crytic-compile
Bug: Echidna doesn't detect compilation errors when there are older compiled contracts available
- Dominant language
- Python
- Stars
- 197
- Forks
- 97
- PR merge metrics
- No merged PRs in 30d
Description
I have only tested this using hardhat.
How to reproduce:
* Set up a working echidna fuzzing campaign
* Add a syntax error to one of the contracts. Ex. `echo "}" > contracts/simple.sol`
* Run echidna with the same command. This should not work but works with the old code.
* Run `npx hardhat clean` to remove older compiled contracts
* Run echidna again. Now it crashes with `echidna-test: Couldn't compile given file` (and a lot more stuff)
This bug is actually a lot more annoying than it looks at first sight. I've had many times where I spent like 15 minutes trying to figure out why echidna doesnt find anything when it turned out I had a simple syntax error somewhere else in my code.
Contributor guide
Assessment
This issue has not been assessed yet.