Project

General

Profile

Actions
Copy link

Feature #8355

closed

Calculate lines coverage without empty lines and some preprocessor directives

Added by Evgeny Novikov over 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Alexey Polushkin
Category:
Results processing
Target version:
0.2
Start date:
08/15/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

To calculate statistics on covered lines the total number of lines in files is used while most likely, say, empty lines and some preprocessor directives should be ignored.

Related issues 3 (0 open — 3 closed)

Related to Klever - Feature #6737: Get coverage from static verifiers if corresponding option is setClosedAlexey Polushkin02/03/2016

Actions
Blocks Klever - Feature #8353: Calculate total code coverageClosedAlexey Polushkin08/15/2017

Actions
Blocks Klever - Feature #8422: Change the way to calculate the total number of meaningful lines of code and specially highlight lines of code with zero passes of a verifierClosedVladimir Gratinskiy09/11/201709/25/2017

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 years ago

  • Target version set to 0.2
Actions
Copy link
 #2

Updated by Evgeny Novikov over 7 years ago

We discussed that at the moment the best way to calculate meaningful lines of code is to get this on the basis CPAchecker coverage reports. But the coverage format can be remained as is. The only change to it is that there can be lines with zero verifier passes. The total number of meaningful lines of code can be calculated by summing both covered (the number of passes is more than zero) and uncovered (the number of passes is zero) lines.

Actions
Copy link
 #3

Updated by Alexey Polushkin over 7 years ago

I've implemented in Klever core supporting of lines with zero passes. The branch is 'empty_lines_coverage'

Actions
Copy link
 #4

Updated by Evgeny Novikov over 7 years ago

  • Status changed from New to Resolved

Let's Ilja will examine this feature after Vladimir will implement corresponding improvements within Bridge.

Actions
Copy link
 #5

Updated by Ilja Zakharov about 7 years ago

  • Status changed from Resolved to Open

Need to update this according to the Klever version after refactoring.

Actions
Copy link
 #6

Updated by Evgeny Novikov about 7 years ago

Please, rebase it on top of the latest master.

Actions
Copy link
 #7

Updated by Evgeny Novikov about 7 years ago

  • Category changed from Tasks generation to Results processing
Actions
Copy link
 #8

Updated by Alexey Polushkin about 7 years ago

The branch has been updated

Actions
Copy link
 #9

Updated by Alexey Polushkin about 7 years ago

  • Status changed from Open to Resolved

Resolved in 'new_report_archives' branch

Actions
Copy link
 #10

Updated by Evgeny Novikov about 7 years ago

  • Status changed from Resolved to Closed

I merged the branch that has this feature (multicoverage) to master in 37f0c082.

Actions
Copy link

Also available in: Atom PDF