Feature #8355

Calculate lines coverage without empty lines and some preprocessor directives

Added by Evgeny Novikov 3 months ago. Updated about 1 month ago.

Status:ClosedStart date:08/15/2017
Priority:UrgentDue date:
Assignee:Alexey Polushkin% Done:

0%

Category:Results processingSpent time:-
Target version:0.2
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

Related to Klever - Feature #6737: Get coverage from static verifiers if corresponding optio... Closed 02/03/2016
Blocks Klever - Feature #8353: Calculate total code coverage Closed 08/15/2017
Blocks Klever - Feature #8422: Change the way to calculate the total number of meaningfu... Closed 09/11/2017 09/25/2017

History

#1 Updated by Evgeny Novikov 3 months ago

  • Target version set to 0.2

#2 Updated by Evgeny Novikov 2 months 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.

#3 Updated by Alexey Polushkin 2 months ago

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

#4 Updated by Evgeny Novikov 2 months ago

  • Status changed from New to Resolved

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

#5 Updated by Ilja Zakharov 2 months ago

  • Status changed from Resolved to Open

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

#6 Updated by Evgeny Novikov 2 months ago

Please, rebase it on top of the latest master.

#7 Updated by Evgeny Novikov 2 months ago

  • Category changed from Tasks generation to Results processing

#8 Updated by Alexey Polushkin about 1 month ago

The branch has been updated

#9 Updated by Alexey Polushkin about 1 month ago

  • Status changed from Open to Resolved

Resolved in 'new_report_archives' branch

#10 Updated by Evgeny Novikov about 1 month ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF