LCOV - code coverage report
Current view: top level - process/include/mcrl2/process Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2951 4282 68.9 %
Date: 2024-03-08 02:52:28 Functions: 947 1913 49.5 %
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
91.7%91.7%
91.7 % 22 / 24 84.6 % 11 / 13
action_name_multiset.h
100.0%
100.0 % 14 / 14 100.0 % 6 / 6
add_binding.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 5
allow_set.h
71.7%71.7%
71.7 % 86 / 120 82.4 % 14 / 17
alphabet.h
58.4%58.4%
58.4 % 73 / 125 40.5 % 34 / 84
alphabet_efficient.h
50.0%50.0%
50.0 % 24 / 48 46.2 % 6 / 13
alphabet_operations.h
85.6%85.6%
85.6 % 244 / 285 97.4 % 37 / 38
alphabet_pcrl.h
0.0%
0.0 % 0 / 56 0.0 % 0 / 15
balance_nesting_depth.h
77.8%77.8%
77.8 % 14 / 18 75.0 % 3 / 4
builder.h
60.5%60.5%
60.5 % 434 / 717 39.2 % 214 / 546
communication_expression.h
88.9%88.9%
88.9 % 8 / 9 80.0 % 4 / 5
expand_process_instance_assignments.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 1
find.h
71.1%71.1%
71.1 % 32 / 45 70.3 % 26 / 37
is_guarded.h
75.0%75.0%
75.0 % 21 / 28 83.3 % 5 / 6
is_linear.h
72.0%72.0%
72.0 % 103 / 143 67.7 % 21 / 31
is_multi_action.h
0.0%
0.0 % 0 / 15 0.0 % 0 / 3
join.h
85.7%85.7%
85.7 % 6 / 7 100.0 % 3 / 3
merge_action_specifications.h
0.0%
0.0 % 0 / 6 0.0 % 0 / 1
multi_action_name.h
91.7%91.7%
91.7 % 22 / 24 100.0 % 4 / 4
normalize_sorts.h
87.5%87.5%
87.5 % 7 / 8 80.0 % 4 / 5
parse.h
95.7%95.7%
95.7 % 22 / 23 100.0 % 4 / 4
parse_impl.h
93.4%93.4%
93.4 % 128 / 137 89.2 % 33 / 37
print.h
74.7%74.7%
74.7 % 201 / 269 33.1 % 53 / 160
process_equation.h
100.0%
100.0 % 19 / 19 91.7 % 11 / 12
process_expression.h
83.3%83.3%
83.3 % 324 / 389 57.8 % 193 / 334
process_identifier.h
86.7%86.7%
86.7 % 26 / 30 84.6 % 11 / 13
process_specification.h
53.3%53.3%
53.3 % 24 / 45 80.0 % 12 / 15
process_variable_strongly_connected_components.h
93.3%93.3%
93.3 % 112 / 120 94.1 % 16 / 17
remove_equations.h
97.7%97.7%
97.7 % 84 / 86 100.0 % 8 / 8
rename_expression.h
100.0%
100.0 % 8 / 8 100.0 % 4 / 4
replace.h
82.4%82.4%
82.4 % 14 / 17 83.3 % 5 / 6
replace_capture_avoiding.h
83.9%83.9%
83.9 % 47 / 56 85.7 % 12 / 14
replace_capture_avoiding_with_an_identifier_generator.h
95.8%95.8%
95.8 % 46 / 48 100.0 % 9 / 9
translate_user_notation.h
87.5%87.5%
87.5 % 7 / 8 100.0 % 3 / 3
traverser.h
53.4%53.4%
53.4 % 516 / 967 34.8 % 127 / 365
typecheck.h
80.5%80.5%
80.5 % 244 / 303 83.6 % 46 / 55
untyped_multi_action.h
82.4%82.4%
82.4 % 14 / 17 42.9 % 6 / 14
utility.h
22.7%22.7%
22.7 % 5 / 22 33.3 % 2 / 6

Generated by: LCOV version 1.14