LCOV - code coverage report
Current view: top level - data/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4239 4420 95.9 %
Date: 2019-05-18 00:50:05 Functions: 696 709 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.7%94.7%
94.7 % 89 / 94 100.0 % 8 / 8
bool_test.cpp
100.0%
100.0 % 9 / 9 100.0 % 4 / 4
builder_test.cpp
96.0%96.0%
96.0 % 48 / 50 100.0 % 15 / 15
compatibility_test.cpp
93.3%93.3%
93.3 % 14 / 15 100.0 % 4 / 4
data_equation_test.cpp
100.0%
100.0 % 16 / 16 100.0 % 4 / 4
data_expression_test.cpp
98.6%98.6%
98.6 % 211 / 214 93.3 % 14 / 15
data_specification_test.cpp
93.9%93.9%
93.9 % 431 / 459 95.7 % 22 / 23
enumerator_test.cpp
95.2%95.2%
95.2 % 237 / 249 97.3 % 36 / 37
find_test.cpp
100.0%
100.0 % 87 / 87 100.0 % 7 / 7
identifier_generator_test.cpp
100.0%
100.0 % 55 / 55 100.0 % 7 / 7
index_traits_test.cpp
36.4%36.4%
36.4 % 4 / 11 66.7 % 6 / 9
int_test.cpp
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
linear_inequalities_test.cpp
91.0%91.0%
91.0 % 172 / 189 100.0 % 12 / 12
list_test.cpp
100.0%
100.0 % 27 / 27 100.0 % 5 / 5
normalize_sorts_test.cpp
96.6%96.6%
96.6 % 28 / 29 100.0 % 6 / 6
parser_test.cpp
98.2%98.2%
98.2 % 56 / 57 100.0 % 9 / 9
print_test.cpp
92.2%92.2%
92.2 % 259 / 281 92.4 % 61 / 66
quantifier_test.cpp
93.2%93.2%
93.2 % 68 / 73 100.0 % 7 / 7
replace_test.cpp
97.1%97.1%
97.1 % 200 / 206 100.0 % 17 / 17
representative_generator_test.cpp
100.0%
100.0 % 27 / 27 100.0 % 4 / 4
rewriter_test.cpp
88.7%88.7%
88.7 % 126 / 142 94.1 % 16 / 17
rewriting_test.cpp
99.0%99.0%
99.0 % 782 / 790 100.0 % 66 / 66
set_test.cpp
93.8%93.8%
93.8 % 105 / 112 100.0 % 7 / 7
sort_expression_test.cpp
100.0%
100.0 % 119 / 119 100.0 % 13 / 13
substitution_test.cpp
95.4%95.4%
95.4 % 209 / 219 95.0 % 19 / 20
template_test.cpp
100.0%
100.0 % 15 / 15 100.0 % 9 / 9
ticket_1300.cpp
100.0%
100.0 % 15 / 15 100.0 % 4 / 4
type_check_tree_test.cpp
100.0%
100.0 % 108 / 108 100.0 % 9 / 9
typecheck_test.cpp
96.7%96.7%
96.7 % 635 / 657 100.0 % 294 / 294
utility_test.cpp
90.2%90.2%
90.2 % 74 / 82 100.0 % 7 / 7

Generated by: LCOV version 1.12