LCOV - code coverage report
Current view: top level - data/include/mcrl2/data Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 9468 10530 89.9 %
Date: 2019-08-22 00:56:55 Functions: 3596 5500 65.4 %
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 % 21 / 21 100.0 % 9 / 9
add_binding.h
87.2%87.2%
87.2 % 41 / 47 32.1 % 75 / 234
alias.h
100.0%
100.0 % 18 / 18 100.0 % 10 / 10
application.h
86.7%86.7%
86.7 % 111 / 128 89.3 % 300 / 336
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
87.0%87.0%
87.0 % 262 / 301 41.8 % 328 / 784
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.3%97.3%
97.3 % 72 / 74 96.9 % 31 / 32
data_specification.h
98.1%98.1%
98.1 % 364 / 371 98.0 % 49 / 50
enumerator.h
84.5%84.5%
84.5 % 239 / 283 77.5 % 183 / 236
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 89.0 % 145 / 163
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
85.1%85.1%
85.1 % 103 / 121 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
77.8%77.8%
77.8 % 14 / 18 71.4 % 5 / 7
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 66.7 % 4 / 6
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.8%78.8%
78.8 % 695 / 882 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 % 40 / 40 88.9 % 8 / 9
optimized_boolean_operators.h
96.8%96.8%
96.8 % 91 / 94 82.4 % 28 / 34
parse.h
97.0%97.0%
97.0 % 387 / 399 100.0 % 78 / 78
pos.h
94.4%94.4%
94.4 % 202 / 214 92.5 % 49 / 53
print.h
92.9%92.9%
92.9 % 1058 / 1139 37.0 % 320 / 865
real.h
92.6%92.6%
92.6 % 510 / 551 93.3 % 111 / 119
replace.h
100.0%
100.0 % 27 / 27 84.1 % 53 / 63
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 / 4
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 % 130 / 130 100.0 % 31 / 31
sort_type_checker.h
96.6%96.6%
96.6 % 143 / 148 100.0 % 12 / 12
standard.h
100.0%
100.0 % 122 / 122 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
100.0%
100.0 % 39 / 39 100.0 % 11 / 11
structured_sort.h
98.6%98.6%
98.6 % 142 / 144 94.7 % 18 / 19
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 100.0 % 2 / 2
translate_user_notation.h
100.0%
100.0 % 45 / 45 100.0 % 7 / 7
traverser.h
75.8%75.8%
75.8 % 474 / 625 42.3 % 333 / 788
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_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
89.7%89.7%
89.7 % 26 / 29 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 % 29 / 29 83.3 % 5 / 6

Generated by: LCOV version 1.12