Project

General

Profile

Feature #10786

Describe analysis of code coverage

Added by Evgeny Novikov about 2 months ago. Updated 5 days ago.

Status:
Resolved
Priority:
Urgent
Category:
Documentation
Target version:
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.


Related issues

Blocked by Klever - Feature #10792: Allow to navigate through covered lines of codeClosedVladimir Gratinskiy04/05/202104/08/2021

Actions
Blocked by Klever - Feature #10794: Add notes from CPAchecker SMG to code coverageResolvedEvgeny Novikov04/07/2021

Actions

Also available in: Atom PDF