Describe analysis of code coverage
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).
Also available in: Atom