Project

General

Profile

Actions

Feature #10786

closed

Describe analysis of code coverage

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
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 2 (0 open2 closed)

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 coverageClosedEvgeny Novikov04/07/2021

Actions
Actions #1

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.

Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Blocked by Feature #10792: Allow to navigate through covered lines of code added
Actions #3

Updated by Evgeny Novikov over 3 years ago

  • Blocked by Feature #10794: Add notes from CPAchecker SMG to code coverage added
Actions #4

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).

Actions #5

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Resolved

I merged this branch to better-code-coverage.

Actions #6

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in d17402872.

Actions

Also available in: Atom PDF