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

[0xicingdeath]

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]

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?