The coverage callback.
The name of the coverage file.
Bit array containing the valid code lines for coverage
Array containg the coverage hits of each line
minimal coverage of the module
See Implementation
The coverage callback.