Feature #10786
closed
Describe analysis of code coverage
Added by Evgeny Novikov about 3 years ago.
Updated almost 3 years ago.
Description
The current user documentation lacks any description of code coverage as well as some advices how to analyze it.
- Priority changed from High to Urgent
Features related to code coverage are most important at the moment.
- Blocked by Feature #10792: Allow to navigate through covered lines of code added
- Blocked by Feature #10794: Add notes from CPAchecker SMG to code coverage added
I did this in branch coverage-docs to the extent that is possible at the moment (there are ongoing works in CPAchecker still).
- Status changed from New to Resolved
I merged this branch to better-code-coverage.
- Status changed from Resolved to Closed
Also available in: Atom
PDF