crytic / crytic/crytic-compile

Bug: Echidna doesn't detect compilation errors when there are older compiled contracts available

Open
#268 1 comment 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.