search

crytic / echidna

Ethereum smart contract fuzzer
GNU Affero General Public License v3.0
2.65k stars 346 forks source link

[Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails #1239

Open 0xicingdeath opened 2 months ago

0xicingdeath commented 2 months ago

Describe the issue:

Given the brevity of the coverage report, we would expect that the coverage report contains the fuzzing contract – but in fact, the contract does not show up. If an assertion that explicitly fails, the contract then shows up in the coverage report.

Code example to reproduce the issue:

N/A

Version:

Release version, as well as current Echidna Master

Relevant log output:

No response

ggrieco-tob commented 2 months ago

It looks like the contract was not covered at all or the coverage map is failing for some reason. Do you know if echidna was exploring even a single line of that report?