Calculate lines coverage without empty lines and some preprocessor directives
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.
#2 Updated by Evgeny Novikov 5 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.