Extend coverage format to support computing coverage #165
Description
Feature/behavior summary
The current coverage format (from the P3 Analysis Library) was designed to be sufficient for computing code divergence, which does not need to know anything about the number of unused lines of code. Now that we have true coverage-related functionality, it is apparent that our "coverage" format lacks sufficient information to compute coverage.
Request attributes
- Would this be a refactor of existing code?
- Does this proposal require new package dependencies?
- Would this change break backwards compatibility?
Related issues
Solution description
The coverage format needs to include enough information to calculate the ratio of used lines to total lines. This could take several forms, for example:
- Separate lists of used lines and unused lines;
- A list of used lines and a number of unused lines; or
- A list of used lines and a number of total lines.
Additional notes
Whatever we decide here will need to be mirrored in the P3 Analysis Library as well.
This is not a breaking change to either project: the coverage functionality here has not been included in any release, and the P3 Analysis Library is still in pre-release.