LCOV - code coverage report
Current view: top level - process/include/mcrl2/process Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3043 4017 75.8 %
Date: 2019-08-22 00:56:55 Functions: 990 1547 64.0 %
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
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
alphabet_reduce.h
100.0%
100.0 % 17 / 17 100.0 % 1 / 1
builder.h
79.9%79.9%
79.9 % 525 / 657 61.3 % 163 / 266
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.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
70.4%70.4%
70.4 % 197 / 280 32.4 % 55 / 170
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
70.4%70.4%
70.4 % 19 / 27 76.9 % 10 / 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
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
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
55.9%55.9%
55.9 % 547 / 979 50.5 % 217 / 430
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
65.4%65.4%
65.4 % 17 / 26 85.7 % 6 / 7

Generated by: LCOV version 1.12