Feature #8355

Calculate lines coverage without empty lines and some preprocessor directives

Added by Evgeny Novikov about 1 month ago. Updated 8 days ago.

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


Category:Tasks generationSpent time:-
Target version:0.2
Published in build:


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 New 08/15/2017
Blocks Klever - Feature #8422: Change the way to calculate the total number of meaningfu... Open 09/11/2017 09/15/2017


#1 Updated by Evgeny Novikov 25 days ago

  • Target version set to 0.2

#2 Updated by Evgeny Novikov 9 days 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 8 days ago

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

#4 Updated by Evgeny Novikov 8 days ago

  • Status changed from New to Resolved

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

Also available in: Atom PDF