LCOV - code coverage report
Current view: top level - data/include/mcrl2/data Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 10104 11801 85.6 %
Date: 2024-04-21 03:44:01 Functions: 3807 9465 40.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
abstraction.h
100.0%
 100.0 % 23 / 23 7.8 % 36 / 461
add_binding.h
59.4%59.4%
 59.4 % 38 / 64 8.8 % 35 / 400
alias.h
84.0%84.0%
 84.0 % 21 / 25 83.3 % 10 / 12
anonymize.h
0.0%
 0.0 % 0 / 103 0.0 % 0 / 20
application.h
83.2%83.2%
 83.2 % 149 / 179 40.7 % 318 / 782
assignment.h
82.9%82.9%
 82.9 % 63 / 76 32.1 % 52 / 162
bag.h
85.1%85.1%
 85.1 % 377 / 443 83.5 % 91 / 109
bag_comprehension.h
100.0%
 100.0 % 8 / 8 2.4 % 2 / 85
basic_sort.h
79.2%79.2%
 79.2 % 19 / 24 81.8 % 9 / 11
binder_type.h
100.0%
 100.0 % 35 / 35 100.0 % 14 / 14
bool.h
96.0%96.0%
 96.0 % 166 / 173 97.7 % 42 / 43
builder.h
64.4%64.4%
 64.4 % 261 / 405 19.8 % 450 / 2275
cardinality.h
0.0%
 0.0 % 0 / 29 0.0 % 0 / 3
consistency.h
68.8%68.8%
 68.8 % 22 / 32 68.8 % 11 / 16
container_sort.h
87.5%87.5%
 87.5 % 14 / 16 80.0 % 8 / 10
container_type.h
92.5%92.5%
 92.5 % 49 / 53 88.9 % 16 / 18
data_equation.h
89.5%89.5%
 89.5 % 34 / 38 90.0 % 18 / 20
data_expression.h
97.3%97.3%
 97.3 % 73 / 75 96.8 % 30 / 31
data_specification.h
96.7%96.7%
 96.7 % 266 / 275 97.8 % 45 / 46
default_expression_generator.h
0.0%
 0.0 % 0 / 12 0.0 % 0 / 2
enumerator.h
87.0%87.0%
 87.0 % 302 / 347 45.3 % 241 / 532
enumerator_with_iterator.h
90.3%90.3%
 90.3 % 140 / 155 92.5 % 62 / 67
equality_one_point_substitution.h
100.0%
 100.0 % 73 / 73 100.0 % 8 / 8
exists.h
86.7%86.7%
 86.7 % 13 / 15 15.7 % 11 / 70
expression_traits.h
94.0%94.0%
 94.0 % 47 / 50 94.4 % 17 / 18
fbag.h
95.0%95.0%
 95.0 % 247 / 260 95.3 % 61 / 64
find.h
82.5%82.5%
 82.5 % 104 / 126 81.1 % 146 / 180
find_equalities.h
89.0%89.0%
 89.0 % 186 / 209 70.9 % 39 / 55
forall.h
86.7%86.7%
 86.7 % 13 / 15 14.3 % 10 / 70
fourier_motzkin.h
85.2%85.2%
 85.2 % 109 / 128 100.0 % 3 / 3
fset.h
96.8%96.8%
 96.8 % 209 / 216 98.1 % 52 / 53
function_sort.h
93.9%93.9%
 93.9 % 31 / 33 85.0 % 17 / 20
function_symbol.h
100.0%
 100.0 % 28 / 28 71.4 % 20 / 28
function_update.h
87.0%87.0%
 87.0 % 100 / 115 86.7 % 26 / 30
identifier_generator.h
92.9%92.9%
 92.9 % 13 / 14 80.0 % 4 / 5
int.h
88.3%88.3%
 88.3 % 459 / 520 88.3 % 91 / 103
is_simple_substitution.h
70.0%70.0%
 70.0 % 7 / 10 44.4 % 4 / 9
join.h
85.7%85.7%
 85.7 % 12 / 14 100.0 % 6 / 6
lambda.h
89.5%89.5%
 89.5 % 17 / 19 19.7 % 15 / 76
linear_inequalities.h
78.8%78.8%
 78.8 % 721 / 915 92.7 % 89 / 96
list.h
96.7%96.7%
 96.7 % 237 / 245 100.0 % 65 / 65
merge_data_specifications.h
68.0%68.0%
 68.0 % 17 / 25 100.0 % 1 / 1
nat.h
93.9%93.9%
 93.9 % 605 / 644 95.9 % 141 / 147
normalize_sorts.h
97.8%97.8%
 97.8 % 44 / 45 88.9 % 8 / 9
optimized_boolean_operators.h
96.3%96.3%
 96.3 % 105 / 109 93.3 % 28 / 30
parse.h
94.9%94.9%
 94.9 % 94 / 99 100.0 % 16 / 16
parse_impl.h
95.8%95.8%
 95.8 % 248 / 259 100.0 % 48 / 48
pos.h
93.4%93.4%
 93.4 % 225 / 241 93.0 % 53 / 57
print.h
93.0%93.0%
 93.0 % 1092 / 1174 34.3 % 328 / 956
real.h
91.7%91.7%
 91.7 % 532 / 580 91.9 % 113 / 123
real_utilities.h
94.1%94.1%
 94.1 % 16 / 17 100.0 % 5 / 5
replace.h
57.1%57.1%
 57.1 % 36 / 63 55.2 % 48 / 87
replace_capture_avoiding.h
84.4%84.4%
 84.4 % 81 / 96 38.9 % 74 / 190
replace_capture_avoiding_with_an_identifier_generator.h
57.7%57.7%
 57.7 % 45 / 78 62.5 % 15 / 24
replace_constants_by_variables.h
0.0%
 0.0 % 0 / 17 0.0 % 0 / 7
representative_generator.h
94.9%94.9%
 94.9 % 75 / 79 100.0 % 5 / 5
rewrite.h
100.0%
 100.0 % 17 / 17 75.0 % 9 / 12
rewrite_strategy.h
33.3%33.3%
 33.3 % 12 / 36 60.0 % 3 / 5
rewriter.h
84.7%84.7%
 84.7 % 50 / 59 77.3 % 17 / 22
rewriter_tool.h
0.0%
 0.0 % 0 / 25 0.0 % 0 / 5
selection.h
97.1%97.1%
 97.1 % 68 / 70 100.0 % 10 / 10
set.h
92.5%92.5%
 92.5 % 331 / 358 91.0 % 81 / 89
set_comprehension.h
100.0%
 100.0 % 8 / 8 2.4 % 2 / 85
set_identifier_generator.h
86.7%86.7%
 86.7 % 26 / 30 90.9 % 10 / 11
sort_expression.h
100.0%
 100.0 % 31 / 31 100.0 % 15 / 15
sort_specification.h
100.0%
 100.0 % 85 / 85 100.0 % 25 / 25
sort_type_checker.h
96.0%96.0%
 96.0 % 144 / 150 100.0 % 10 / 10
standard.h
99.2%99.2%
 99.2 % 123 / 124 100.0 % 73 / 73
standard_container_utility.h
92.6%92.6%
 92.6 % 87 / 94 100.0 % 22 / 22
standard_numbers_utility.h
95.5%95.5%
 95.5 % 168 / 176 100.0 % 32 / 32
standard_utility.h
73.6%73.6%
 73.6 % 39 / 53 85.7 % 12 / 14
structured_sort.h
95.1%95.1%
 95.1 % 155 / 163 75.0 % 18 / 24
structured_sort_constructor.h
89.3%89.3%
 89.3 % 50 / 56 76.9 % 20 / 26
structured_sort_constructor_argument.h
84.0%84.0%
 84.0 % 21 / 25 68.8 % 11 / 16
substitution_utility.h
100.0%
 100.0 % 11 / 11 80.0 % 4 / 5
translate_user_notation.h
97.1%97.1%
 97.1 % 67 / 69 100.0 % 11 / 11
traverser.h
75.5%75.5%
 75.5 % 466 / 617 31.5 % 271 / 860
typecheck.h
88.5%88.5%
 88.5 % 54 / 61 100.0 % 11 / 11
undefined.h
100.0%
 100.0 % 14 / 14 100.0 % 5 / 5
unfold_pattern_matching.h
3.7%3.7%
 3.7 % 6 / 164 5.9 % 1 / 17
untyped_data_parameter.h
85.0%85.0%
 85.0 % 17 / 20 23.4 % 11 / 47
untyped_data_specification.h
94.7%94.7%
 94.7 % 18 / 19 100.0 % 6 / 6
untyped_identifier.h
100.0%
 100.0 % 12 / 12 100.0 % 4 / 4
untyped_possible_sorts.h
60.0%60.0%
 60.0 % 9 / 15 33.3 % 3 / 9
untyped_set_or_bag_comprehension.h
100.0%
 100.0 % 8 / 8 3.5 % 3 / 85
untyped_sort.h
100.0%
 100.0 % 7 / 7 100.0 % 2 / 2
untyped_sort_variable.h
100.0%
 100.0 % 18 / 18 100.0 % 8 / 8
variable.h
91.4%91.4%
 91.4 % 32 / 35 69.4 % 25 / 36
where_clause.h
100.0%
 100.0 % 19 / 19 14.5 % 11 / 76
xyz_identifier_generator.h
96.8%96.8%
 96.8 % 30 / 31 100.0 % 4 / 4

Generated by: LCOV version 1.14