Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
0xicingdeath opened this issue Apr 18, 2024 · 1 comment

Comments

@0xicingdeath
Copy link

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
Copy link
Member

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?

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

No branches or pull requests

2 participants