LCOV - code coverage report
Current view: top level - process/include/mcrl2/process Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3015 3999 75.4 %
Date: 2020-01-17 00:44:36 Functions: 885 1434 61.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
add_binding.h
10.0%10.0%
10.0 % 2 / 20 44.4 % 4 / 9
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
builder.h
79.7%79.7%
79.7 % 517 / 649 52.1 % 113 / 217
communication_expression.h
100.0%
100.0 % 10 / 10 100.0 % 6 / 6
expand_process_instance_assignments.h
100.0%
100.0 % 7 / 7 100.0 % 1 / 1
find.h
97.6%97.6%
97.6 % 40 / 41 86.5 % 32 / 37
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 64.7 % 22 / 34
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.3%91.3%
91.3 % 21 / 23 100.0 % 8 / 8
normalize_sorts.h
100.0%
100.0 % 5 / 5 80.0 % 4 / 5
parse.h
100.0%
100.0 % 19 / 19 100.0 % 4 / 4
parse_impl.h
94.7%94.7%
94.7 % 124 / 131 89.7 % 35 / 39
print.h
73.1%73.1%
73.1 % 204 / 279 32.9 % 54 / 164
process_equation.h
100.0%
100.0 % 15 / 15 100.0 % 10 / 10
process_expression.h
83.9%83.9%
83.9 % 281 / 335 84.0 % 131 / 156
process_identifier.h
71.4%71.4%
71.4 % 20 / 28 76.9 % 10 / 13
process_specification.h
52.1%52.1%
52.1 % 25 / 48 83.3 % 15 / 18
process_variable_strongly_connected_components.h
100.0%
100.0 % 116 / 116 100.0 % 22 / 22
remove_equations.h
100.0%
100.0 % 81 / 81 100.0 % 9 / 9
rename_expression.h
100.0%
100.0 % 9 / 9 100.0 % 5 / 5
replace.h
91.7%91.7%
91.7 % 11 / 12 85.7 % 6 / 7
replace_capture_avoiding.h
100.0%
100.0 % 36 / 36 100.0 % 11 / 11
replace_capture_avoiding_with_an_identifier_generator.h
96.7%96.7%
96.7 % 29 / 30 100.0 % 9 / 9
timed_multi_action.h
100.0%
100.0 % 22 / 22 100.0 % 10 / 10
translate_user_notation.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
traverser.h
55.3%55.3%
55.3 % 535 / 967 42.7 % 156 / 365
typecheck.h
79.6%79.6%
79.6 % 199 / 250 87.2 % 41 / 47
untyped_multi_action.h
72.7%72.7%
72.7 % 8 / 11 80.0 % 4 / 5
utility.h
65.4%65.4%
65.4 % 17 / 26 85.7 % 6 / 7

Generated by: LCOV version 1.13