LCOV - code coverage report
Current view: top level - process/include/mcrl2/process Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2799 4066 68.8 %
Date: 2021-04-15 00:46:37 Functions: 805 1468 54.8 %
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
90.9%90.9%
90.9 % 20 / 22 90.9 % 10 / 11
action_name_multiset.h
100.0%
100.0 % 10 / 10 100.0 % 5 / 5
add_binding.h
10.0%10.0%
10.0 % 2 / 20 44.4 % 4 / 9
allow_set.h
73.4%73.4%
73.4 % 80 / 109 85.0 % 17 / 20
alphabet.h
59.2%59.2%
59.2 % 74 / 125 44.6 % 41 / 92
alphabet_efficient.h
50.0%50.0%
50.0 % 24 / 48 53.3 % 8 / 15
alphabet_operations.h
91.6%91.6%
91.6 % 230 / 251 97.4 % 37 / 38
alphabet_pcrl.h
0.0%
0.0 % 0 / 56 0.0 % 0 / 16
balance_nesting_depth.h
72.7%72.7%
72.7 % 8 / 11 60.0 % 3 / 5
builder.h
60.7%60.7%
60.7 % 416 / 685 38.8 % 93 / 240
communication_expression.h
90.0%90.0%
90.0 % 9 / 10 83.3 % 5 / 6
expand_process_instance_assignments.h
0.0%
0.0 % 0 / 7 0.0 % 0 / 1
find.h
78.0%78.0%
78.0 % 32 / 41 70.3 % 26 / 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
72.0%72.0%
72.0 % 103 / 143 67.6 % 23 / 34
is_multi_action.h
0.0%
0.0 % 0 / 15 0.0 % 0 / 5
join.h
100.0%
100.0 % 6 / 6 60.0 % 3 / 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
74.9%74.9%
74.9 % 209 / 279 33.5 % 55 / 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
54.3%54.3%
54.3 % 25 / 46 83.3 % 15 / 18
process_variable_strongly_connected_components.h
93.1%93.1%
93.1 % 108 / 116 95.5 % 21 / 22
remove_equations.h
98.8%98.8%
98.8 % 80 / 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 % 26 / 26 100.0 % 11 / 11
translate_user_notation.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
traverser.h
52.8%52.8%
52.8 % 511 / 967 35.1 % 128 / 365
typecheck.h
79.8%79.8%
79.8 % 210 / 263 87.5 % 42 / 48
untyped_multi_action.h
72.7%72.7%
72.7 % 8 / 11 80.0 % 4 / 5
utility.h
19.2%19.2%
19.2 % 5 / 26 28.6 % 2 / 7

Generated by: LCOV version 1.13