LCOV - code coverage report
Current view: top level - data/include/mcrl2/data Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 9450 10500 90.0 %
Date: 2019-05-22 00:50:25 Functions: 3625 5629 64.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
100.0%
100.0 % 33 / 33 30.4 % 84 / 276
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.6 % 331 / 795
consistency.h
73.3%73.3%
73.3 % 22 / 30 73.3 % 11 / 15
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 % 363 / 370 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 75.8 % 69 / 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.5 % 161 / 182
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
87.2%87.2%
87.2 % 448 / 514 88.5 % 92 / 104
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 % 537 / 573 95.7 % 132 / 138
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 % 1062 / 1143 37.1 % 320 / 863
real.h
92.6%92.6%
92.6 % 510 / 551 93.3 % 111 / 119
replace.h
82.9%82.9%
82.9 % 145 / 175 75.5 % 123 / 163
replace_constants_by_variables.h
0.0%
0.0 % 0 / 16 0.0 % 0 / 4
representative_generator.h
85.9%85.9%
85.9 % 55 / 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.4%98.4%
98.4 % 63 / 64 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 % 30 / 30
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
97.4%97.4%
97.4 % 38 / 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
translate_user_notation.h
100.0%
100.0 % 45 / 45 100.0 % 7 / 7
traverser.h
75.8%75.8%
75.8 % 474 / 625 40.6 % 347 / 854
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