LCOV - code coverage report
Current view: top level - data/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4169 4353 95.8 %
Date: 2024-03-08 02:52:28 Functions: 688 699 98.4 %
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
95.7%95.7%
95.7 % 112 / 117 100.0 % 7 / 7
bool_test.cpp
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
builder_test.cpp
96.2%96.2%
96.2 % 50 / 52 100.0 % 11 / 11
compatibility_test.cpp
92.9%92.9%
92.9 % 13 / 14 100.0 % 3 / 3
data_equation_test.cpp
100.0%
100.0 % 15 / 15 100.0 % 3 / 3
data_expression_test.cpp
100.0%
100.0 % 200 / 200 100.0 % 24 / 24
data_specification_test.cpp
93.7%93.7%
93.7 % 429 / 458 93.9 % 31 / 33
enumerator_test.cpp
95.1%95.1%
95.1 % 253 / 266 97.3 % 36 / 37
find_test.cpp
100.0%
100.0 % 83 / 83 100.0 % 16 / 16
identifier_generator_test.cpp
100.0%
100.0 % 54 / 54 100.0 % 6 / 6
index_traits_test.cpp
40.0%40.0%
40.0 % 2 / 5 66.7 % 2 / 3
int_test.cpp
100.0%
100.0 % 12 / 12 100.0 % 3 / 3
linear_inequalities_test.cpp
91.1%91.1%
91.1 % 174 / 191 100.0 % 11 / 11
list_test.cpp
100.0%
100.0 % 26 / 26 100.0 % 4 / 4
normalize_sorts_test.cpp
93.5%93.5%
93.5 % 29 / 31 100.0 % 5 / 5
parser_test.cpp
98.3%98.3%
98.3 % 57 / 58 100.0 % 8 / 8
print_test.cpp
90.9%90.9%
90.9 % 250 / 275 92.1 % 58 / 63
quantifier_test.cpp
94.6%94.6%
94.6 % 88 / 93 100.0 % 9 / 9
replace_test.cpp
97.1%97.1%
97.1 % 136 / 140 100.0 % 20 / 20
representative_generator_test.cpp
100.0%
100.0 % 26 / 26 100.0 % 3 / 3
rewriter_test.cpp
88.6%88.6%
88.6 % 124 / 140 93.8 % 15 / 16
rewriting_test.cpp
99.0%99.0%
99.0 % 824 / 832 100.0 % 65 / 65
set_test.cpp
93.7%93.7%
93.7 % 104 / 111 100.0 % 6 / 6
sort_expression_test.cpp
100.0%
100.0 % 116 / 116 100.0 % 10 / 10
substitution_test.cpp
95.4%95.4%
95.4 % 207 / 217 94.4 % 17 / 18
template_test.cpp
100.0%
100.0 % 14 / 14 100.0 % 8 / 8
ticket_1300.cpp
100.0%
100.0 % 14 / 14 100.0 % 3 / 3
type_check_tree_test.cpp
100.0%
100.0 % 105 / 105 100.0 % 6 / 6
typecheck_test.cpp
95.3%95.3%
95.3 % 574 / 602 100.0 % 290 / 290
utility_test.cpp
90.1%90.1%
90.1 % 73 / 81 100.0 % 6 / 6

Generated by: LCOV version 1.14