LCOV - code coverage report
Current view: top level - data/include/mcrl2/data Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 9264 10327 89.7 %
Date: 2020-01-17 00:44:36 Functions: 3480 5625 61.9 %
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
91.3%91.3%
91.3 % 21 / 23 90.0 % 9 / 10
add_binding.h
87.2%87.2%
87.2 % 41 / 47 28.4 % 75 / 264
alias.h
100.0%
100.0 % 18 / 18 100.0 % 10 / 10
application.h
87.2%87.2%
87.2 % 116 / 133 85.6 % 316 / 369
assignment.h
92.6%92.6%
92.6 % 50 / 54 92.3 % 24 / 26
bag.h
84.1%84.1%
84.1 % 307 / 365 82.8 % 77 / 93
bag_comprehension.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
basic_sort.h
90.0%90.0%
90.0 % 18 / 20 90.9 % 10 / 11
binder_type.h
100.0%
100.0 % 41 / 41 100.0 % 20 / 20
bool.h
100.0%
100.0 % 138 / 138 100.0 % 35 / 35
builder.h
86.8%86.8%
86.8 % 256 / 295 31.7 % 230 / 725
consistency.h
57.9%57.9%
57.9 % 22 / 38 64.7 % 11 / 17
container_sort.h
85.7%85.7%
85.7 % 12 / 14 83.3 % 5 / 6
container_type.h
93.2%93.2%
93.2 % 55 / 59 91.7 % 22 / 24
data_equation.h
87.5%87.5%
87.5 % 28 / 32 94.1 % 16 / 17
data_expression.h
97.2%97.2%
97.2 % 70 / 72 96.8 % 30 / 31
data_specification.h
96.5%96.5%
96.5 % 246 / 255 95.9 % 47 / 49
enumerator.h
87.7%87.7%
87.7 % 257 / 293 50.8 % 211 / 415
enumerator_with_iterator.h
85.4%85.4%
85.4 % 129 / 151 90.1 % 82 / 91
exists.h
84.6%84.6%
84.6 % 11 / 13 83.3 % 5 / 6
expression_traits.h
95.2%95.2%
95.2 % 40 / 42 93.8 % 15 / 16
fbag.h
91.2%91.2%
91.2 % 281 / 308 88.5 % 69 / 78
find.h
100.0%
100.0 % 123 / 123 88.4 % 145 / 164
find_equalities.h
79.3%79.3%
79.3 % 134 / 169 83.0 % 39 / 47
forall.h
84.6%84.6%
84.6 % 11 / 13 83.3 % 5 / 6
fourier_motzkin.h
84.4%84.4%
84.4 % 103 / 122 100.0 % 3 / 3
fset.h
98.4%98.4%
98.4 % 248 / 252 98.5 % 64 / 65
function_sort.h
92.6%92.6%
92.6 % 25 / 27 92.9 % 13 / 14
function_symbol.h
100.0%
100.0 % 22 / 22 100.0 % 12 / 12
function_update.h
100.0%
100.0 % 40 / 40 100.0 % 10 / 10
identifier_generator.h
100.0%
100.0 % 14 / 14 83.3 % 5 / 6
index_traits.h
66.7%66.7%
66.7 % 16 / 24 66.7 % 4 / 6
int.h
86.9%86.9%
86.9 % 426 / 490 87.9 % 87 / 99
is_simple_substitution.h
66.7%66.7%
66.7 % 6 / 9 50.0 % 4 / 8
join.h
100.0%
100.0 % 12 / 12 100.0 % 6 / 6
lambda.h
86.7%86.7%
86.7 % 13 / 15 83.3 % 5 / 6
linear_inequalities.h
78.9%78.9%
78.9 % 695 / 881 91.7 % 100 / 109
list.h
98.2%98.2%
98.2 % 213 / 217 100.0 % 61 / 61
merge_data_specifications.h
69.6%69.6%
69.6 % 16 / 23 100.0 % 1 / 1
nat.h
93.7%93.7%
93.7 % 552 / 589 95.8 % 137 / 143
normalize_sorts.h
100.0%
100.0 % 39 / 39 88.9 % 8 / 9
optimized_boolean_operators.h
96.8%96.8%
96.8 % 91 / 94 82.4 % 28 / 34
parse.h
94.3%94.3%
94.3 % 83 / 88 100.0 % 16 / 16
parse_impl.h
97.1%97.1%
97.1 % 233 / 240 100.0 % 48 / 48
pos.h
94.4%94.4%
94.4 % 202 / 214 92.5 % 49 / 53
print.h
92.9%92.9%
92.9 % 1057 / 1138 38.9 % 333 / 857
real.h
92.6%92.6%
92.6 % 510 / 551 93.3 % 111 / 119
replace.h
100.0%
100.0 % 27 / 27 72.6 % 53 / 73
replace_capture_avoiding.h
87.7%87.7%
87.7 % 71 / 81 63.9 % 39 / 61
replace_capture_avoiding_with_an_identifier_generator.h
64.3%64.3%
64.3 % 45 / 70 68.3 % 28 / 41
replace_constants_by_variables.h
0.0%
0.0 % 0 / 16 0.0 % 0 / 8
representative_generator.h
93.8%93.8%
93.8 % 60 / 64 100.0 % 6 / 6
rewrite.h
100.0%
100.0 % 16 / 16 100.0 % 12 / 12
rewrite_strategy.h
60.0%60.0%
60.0 % 12 / 20 100.0 % 3 / 3
rewriter.h
100.0%
100.0 % 36 / 36 94.1 % 16 / 17
selection.h
98.6%98.6%
98.6 % 68 / 69 100.0 % 12 / 12
set.h
91.4%91.4%
91.4 % 265 / 290 89.0 % 65 / 73
set_comprehension.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
set_identifier_generator.h
87.5%87.5%
87.5 % 28 / 32 81.2 % 13 / 16
sort_expression.h
100.0%
100.0 % 28 / 28 100.0 % 15 / 15
sort_specification.h
100.0%
100.0 % 86 / 86 100.0 % 29 / 29
sort_type_checker.h
96.6%96.6%
96.6 % 141 / 146 100.0 % 12 / 12
standard.h
100.0%
100.0 % 124 / 124 100.0 % 93 / 93
standard_container_utility.h
92.0%92.0%
92.0 % 80 / 87 100.0 % 22 / 22
standard_numbers_utility.h
97.9%97.9%
97.9 % 143 / 146 100.0 % 28 / 28
standard_utility.h
83.0%83.0%
83.0 % 39 / 47 92.3 % 12 / 13
structured_sort.h
98.0%98.0%
98.0 % 144 / 147 90.0 % 18 / 20
structured_sort_constructor.h
95.9%95.9%
95.9 % 47 / 49 95.2 % 20 / 21
structured_sort_constructor_argument.h
100.0%
100.0 % 18 / 18 100.0 % 10 / 10
substitution_utility.h
100.0%
100.0 % 11 / 11 80.0 % 4 / 5
translate_user_notation.h
100.0%
100.0 % 44 / 44 100.0 % 7 / 7
traverser.h
75.5%75.5%
75.5 % 466 / 617 36.6 % 265 / 724
typecheck.h
90.7%90.7%
90.7 % 49 / 54 100.0 % 13 / 13
undefined.h
100.0%
100.0 % 14 / 14 100.0 % 5 / 5
untyped_data_parameter.h
100.0%
100.0 % 12 / 12 100.0 % 7 / 7
untyped_data_specification.h
100.0%
100.0 % 19 / 19 100.0 % 9 / 9
untyped_identifier.h
100.0%
100.0 % 14 / 14 100.0 % 6 / 6
untyped_possible_sorts.h
46.2%46.2%
46.2 % 6 / 13 60.0 % 3 / 5
untyped_set_or_bag_comprehension.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
untyped_sort.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
untyped_sort_variable.h
100.0%
100.0 % 14 / 14 100.0 % 8 / 8
variable.h
90.0%90.0%
90.0 % 27 / 30 92.3 % 12 / 13
where_clause.h
100.0%
100.0 % 17 / 17 100.0 % 8 / 8
xyz_identifier_generator.h
100.0%
100.0 % 32 / 32 83.3 % 5 / 6

Generated by: LCOV version 1.13