LCOV - code coverage report
Current view: top level - process/include/mcrl2/process Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3216 4058 79.3 %
Date: 2019-05-22 00:50:25 Functions: 1053 1627 64.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
action_label.h
100.0%
100.0 % 22 / 22 100.0 % 11 / 11
action_name_multiset.h
100.0%
100.0 % 11 / 11 100.0 % 6 / 6
action_parse.h
100.0%
100.0 % 33 / 33 100.0 % 9 / 9
add_binding.h
100.0%
100.0 % 13 / 13 66.7 % 8 / 12
allow_set.h
86.2%86.2%
86.2 % 94 / 109 95.0 % 19 / 20
alphabet.h
69.6%69.6%
69.6 % 87 / 125 55.4 % 51 / 92
alphabet_efficient.h
93.8%93.8%
93.8 % 45 / 48 86.7 % 13 / 15
alphabet_operations.h
96.8%96.8%
96.8 % 243 / 251 100.0 % 38 / 38
alphabet_pcrl.h
23.2%23.2%
23.2 % 13 / 56 25.0 % 4 / 16
alphabet_reduce.h
92.9%92.9%
92.9 % 26 / 28 83.3 % 5 / 6
builder.h
79.6%79.6%
79.6 % 543 / 682 62.2 % 194 / 312
communication_expression.h
100.0%
100.0 % 10 / 10 100.0 % 6 / 6
expand_process_instance_assignments.h
78.8%78.8%
78.8 % 26 / 33 80.0 % 4 / 5
find.h
97.6%97.6%
97.6 % 40 / 41 91.2 % 31 / 34
index_traits.h
66.7%66.7%
66.7 % 8 / 12 66.7 % 2 / 3
is_guarded.h
74.1%74.1%
74.1 % 20 / 27 83.3 % 5 / 6
is_linear.h
69.9%69.9%
69.9 % 100 / 143 66.7 % 22 / 33
is_multi_action.h
93.3%93.3%
93.3 % 14 / 15 100.0 % 5 / 5
merge_action_specifications.h
0.0%
0.0 % 0 / 5 0.0 % 0 / 1
multi_action_name.h
91.7%91.7%
91.7 % 22 / 24 100.0 % 8 / 8
normalize_sorts.h
100.0%
100.0 % 5 / 5 80.0 % 4 / 5
parse.h
95.4%95.4%
95.4 % 145 / 152 89.5 % 34 / 38
print.h
72.1%72.1%
72.1 % 202 / 280 32.9 % 56 / 170
process_equation.h
100.0%
100.0 % 15 / 15 100.0 % 10 / 10
process_expression.h
83.6%83.6%
83.6 % 280 / 335 83.3 % 130 / 156
process_identifier.h
92.6%92.6%
92.6 % 25 / 27 92.3 % 12 / 13
process_specification.h
100.0%
100.0 % 25 / 25 100.0 % 15 / 15
process_variable_strongly_connected_components.h
100.0%
100.0 % 116 / 116 100.0 % 22 / 22
remove_equations.h
100.0%
100.0 % 82 / 82 100.0 % 9 / 9
rename_expression.h
100.0%
100.0 % 9 / 9 100.0 % 5 / 5
replace.h
97.3%97.3%
97.3 % 73 / 75 96.4 % 27 / 28
timed_multi_action.h
0.0%
0.0 % 0 / 6 0.0 % 0 / 3
translate_user_notation.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
traverser.h
68.7%68.7%
68.7 % 665 / 968 52.5 % 239 / 455
typecheck.h
78.5%78.5%
78.5 % 183 / 233 86.7 % 39 / 45
untyped_multi_action.h
72.7%72.7%
72.7 % 8 / 11 80.0 % 4 / 5
utility.h
30.8%30.8%
30.8 % 8 / 26 42.9 % 3 / 7

Generated by: LCOV version 1.12