Actions
Feature #10786
closedDescribe analysis of code coverage
Start date:
04/01/2021
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
The current user documentation lacks any description of code coverage as well as some advices how to analyze it.
Updated by Evgeny Novikov over 3 years ago
- Priority changed from High to Urgent
Features related to code coverage are most important at the moment.
Updated by Evgeny Novikov over 3 years ago
- Blocked by Feature #10792: Allow to navigate through covered lines of code added
Updated by Evgeny Novikov over 3 years ago
- Blocked by Feature #10794: Add notes from CPAchecker SMG to code coverage added
Updated by Evgeny Novikov over 3 years ago
I did this in branch coverage-docs to the extent that is possible at the moment (there are ongoing works in CPAchecker still).
Updated by Evgeny Novikov over 3 years ago
- Status changed from New to Resolved
I merged this branch to better-code-coverage.
Updated by Evgeny Novikov over 3 years ago
- Status changed from Resolved to Closed
I merged the branch to master in d17402872.
Actions