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