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.
Category:
Results processing
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.
- Target version set to 0.2
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.
I've implemented in Klever core supporting of lines with zero passes. The branch is 'empty_lines_coverage'
- Status changed from New to Resolved
Let's Ilja will examine this feature after Vladimir will implement corresponding improvements within Bridge.
- Status changed from Resolved to Open
Need to update this according to the Klever version after refactoring.
Please, rebase it on top of the latest master.
- Category changed from Tasks generation to Results processing
The branch has been updated
- Status changed from Open to Resolved
Resolved in 'new_report_archives' branch
- Status changed from Resolved to Closed
I merged the branch that has this feature (multicoverage) to master in 37f0c082.
Also available in: Atom
PDF