LCOV - code coverage report
Current view: top level - data/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4201 4382 95.9 %
Date: 2019-07-19 02:46:18 Functions: 716 729 98.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bag_test.cpp
94.6%94.6%
94.6 % 88 / 93 100.0 % 9 / 9
bool_test.cpp
100.0%
100.0 % 8 / 8 100.0 % 5 / 5
builder_test.cpp
95.9%95.9%
95.9 % 47 / 49 100.0 % 16 / 16
compatibility_test.cpp
92.9%92.9%
92.9 % 13 / 14 100.0 % 5 / 5
data_equation_test.cpp
100.0%
100.0 % 15 / 15 100.0 % 5 / 5
data_expression_test.cpp
98.6%98.6%
98.6 % 210 / 213 93.8 % 15 / 16
data_specification_test.cpp
93.8%93.8%
93.8 % 427 / 455 95.8 % 23 / 24
enumerator_test.cpp
95.3%95.3%
95.3 % 246 / 258 97.4 % 38 / 39
find_test.cpp
100.0%
100.0 % 86 / 86 100.0 % 8 / 8
identifier_generator_test.cpp
100.0%
100.0 % 54 / 54 100.0 % 8 / 8
index_traits_test.cpp
36.4%36.4%
36.4 % 4 / 11 66.7 % 6 / 9
int_test.cpp
100.0%
100.0 % 12 / 12 100.0 % 5 / 5
linear_inequalities_test.cpp
90.9%90.9%
90.9 % 170 / 187 100.0 % 13 / 13
list_test.cpp
100.0%
100.0 % 26 / 26 100.0 % 6 / 6
normalize_sorts_test.cpp
96.4%96.4%
96.4 % 27 / 28 100.0 % 7 / 7
parser_test.cpp
98.2%98.2%
98.2 % 55 / 56 100.0 % 10 / 10
print_test.cpp
92.1%92.1%
92.1 % 256 / 278 92.3 % 60 / 65
quantifier_test.cpp
93.1%93.1%
93.1 % 67 / 72 100.0 % 8 / 8
replace_test.cpp
97.1%97.1%
97.1 % 199 / 205 100.0 % 18 / 18
representative_generator_test.cpp
100.0%
100.0 % 22 / 22 100.0 % 5 / 5
rewriter_test.cpp
88.6%88.6%
88.6 % 124 / 140 94.4 % 17 / 18
rewriting_test.cpp
99.0%99.0%
99.0 % 779 / 787 100.0 % 65 / 65
set_test.cpp
93.7%93.7%
93.7 % 104 / 111 100.0 % 8 / 8
sort_expression_test.cpp
100.0%
100.0 % 116 / 116 100.0 % 12 / 12
substitution_test.cpp
95.4%95.4%
95.4 % 208 / 218 95.2 % 20 / 21
template_test.cpp
100.0%
100.0 % 14 / 14 100.0 % 10 / 10
ticket_1300.cpp
100.0%
100.0 % 14 / 14 100.0 % 5 / 5
type_check_tree_test.cpp
100.0%
100.0 % 105 / 105 100.0 % 8 / 8
typecheck_test.cpp
96.6%96.6%
96.6 % 632 / 654 100.0 % 293 / 293
utility_test.cpp
90.1%90.1%
90.1 % 73 / 81 100.0 % 8 / 8

Generated by: LCOV version 1.12