LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
action_rename.h |
|
92.9 % | 275 / 296 | 100.0 % | 25 / 25 | |
action_summand.h |
|
94.6 % | 35 / 37 | 93.3 % | 14 / 15 | |
add_binding.h |
|
89.3 % | 50 / 56 | 95.0 % | 38 / 40 | |
binary.h |
|
94.4 % | 153 / 162 | 52.0 % | 13 / 25 | |
builder.h |
|
67.8 % | 183 / 270 | 60.8 % | 132 / 217 | |
confluence_checker.h |
|
74.9 % | 259 / 346 | 93.8 % | 15 / 16 | |
constelm.h |
|
88.9 % | 88 / 99 | 100.0 % | 18 / 18 | |
deadlock.h |
|
100.0 % | 11 / 11 | 100.0 % | 5 / 5 | |
deadlock_summand.h |
|
100.0 % | 26 / 26 | 100.0 % | 11 / 11 | |
decluster.h |
|
0.0 % | 0 / 23 | 0.0 % | 0 / 8 | |
disjointness_checker.h |
|
82.1 % | 46 / 56 | 100.0 % | 5 / 5 | |
exploration_strategy.h |
|
47.4 % | 9 / 19 | 100.0 % | 2 / 2 | |
explorer.h |
|
57.8 % | 372 / 644 | 43.6 % | 137 / 314 | |
explorer_options.h |
|
100.0 % | 6 / 6 | 100.0 % | 3 / 3 | |
find.h |
|
62.3 % | 33 / 53 | 67.1 % | 49 / 73 | |
find_representative.h |
|
75.5 % | 37 / 49 | 33.3 % | 1 / 3 | |
if_rewrite.h |
|
0.0 % | 0 / 6 | 0.0 % | 0 / 2 | |
invariant_checker.h |
|
63.0 % | 51 / 81 | 35.7 % | 5 / 14 | |
invelm_algorithm.h |
|
100.0 % | 21 / 21 | 50.0 % | 5 / 10 | |
io.h |
|
76.9 % | 20 / 26 | 50.0 % | 4 / 8 | |
is_stochastic.h |
|
100.0 % | 11 / 11 | 100.0 % | 3 / 3 | |
is_well_typed.h |
|
66.4 % | 91 / 137 | 90.0 % | 27 / 30 | |
linear_process.h |
|
97.7 % | 42 / 43 | 100.0 % | 24 / 24 | |
linearisation_method.h |
|
88.9 % | 8 / 9 | 100.0 % | 2 / 2 | |
linearise.h |
|
100.0 % | 21 / 21 | 100.0 % | 2 / 2 | |
lps_summand_group.h |
|
0.0 % | 0 / 3 | 0.0 % | 0 / 1 | |
lpsparunfoldlib.h |
|
25.2 % | 60 / 238 | 36.1 % | 13 / 36 | |
ltsmin.h |
|
96.7 % | 379 / 392 | 94.0 % | 63 / 67 | |
multi_action.h |
|
100.0 % | 98 / 98 | 90.0 % | 36 / 40 | |
normalize_sorts.h |
|
87.5 % | 7 / 8 | 66.7 % | 2 / 3 | |
one_point_rule_rewrite.h |
|
100.0 % | 6 / 6 | 66.7 % | 2 / 3 | |
order_summand_variables.h |
|
100.0 % | 4 / 4 | 100.0 % | 2 / 2 | |
parelm.h |
|
96.0 % | 96 / 100 | 94.7 % | 18 / 19 | |
parse.h |
|
95.0 % | 38 / 40 | 100.0 % | 7 / 7 | |
parse_impl.h |
|
93.3 % | 56 / 60 | 100.0 % | 12 / 12 | |
print.h |
|
83.9 % | 135 / 161 | 71.4 % | 40 / 56 | |
probabilistic_data_expression.h |
|
93.6 % | 44 / 47 | 100.0 % | 13 / 13 | |
process_initializer.h |
|
95.2 % | 20 / 21 | 83.3 % | 15 / 18 | |
remove.h |
|
82.5 % | 85 / 103 | 82.6 % | 19 / 23 | |
replace.h |
|
97.5 % | 77 / 79 | 82.6 % | 19 / 23 | |
replace_capture_avoiding.h |
|
72.3 % | 68 / 94 | 61.8 % | 21 / 34 | |
replace_capture_avoiding_with_an_identifier_generator.h |
|
87.5 % | 7 / 8 | 100.0 % | 3 / 3 | |
replace_constants_by_variables.h |
|
0.0 % | 0 / 7 | 0.0 % | 0 / 3 | |
resolve_name_clashes.h |
|
84.4 % | 54 / 64 | 100.0 % | 7 / 7 | |
rewrite.h |
|
100.0 % | 6 / 6 | 77.8 % | 7 / 9 | |
specification.h |
|
100.0 % | 50 / 50 | 100.0 % | 32 / 32 | |
state.h |
|
100.0 % | 7 / 7 | 83.3 % | 10 / 12 | |
state_probability_pair.h |
|
100.0 % | 20 / 20 | 94.1 % | 16 / 17 | |
stochastic_action_summand.h |
|
91.7 % | 22 / 24 | 90.9 % | 10 / 11 | |
stochastic_distribution.h |
|
100.0 % | 25 / 25 | 68.2 % | 15 / 22 | |
stochastic_linear_process.h |
|
92.9 % | 13 / 14 | 100.0 % | 4 / 4 | |
stochastic_process_initializer.h |
|
100.0 % | 11 / 11 | 54.5 % | 6 / 11 | |
stochastic_specification.h |
|
90.5 % | 38 / 42 | 100.0 % | 8 / 8 | |
stochastic_state.h |
|
22.9 % | 8 / 35 | 50.0 % | 3 / 6 | |
sumelm.h |
|
97.0 % | 32 / 33 | 72.7 % | 8 / 11 | |
suminst.h |
|
89.4 % | 76 / 85 | 52.4 % | 11 / 21 | |
summand.h |
|
100.0 % | 14 / 14 | 100.0 % | 6 / 6 | |
symbolic_lts_bisim.h |
|
0.0 % | 0 / 57 | 0.0 % | 0 / 3 | |
translate_user_notation.h |
|
80.0 % | 4 / 5 | 100.0 % | 1 / 1 | |
traverser.h |
|
89.2 % | 322 / 361 | 75.0 % | 57 / 76 | |
typecheck.h |
|
90.2 % | 46 / 51 | 87.5 % | 7 / 8 | |
untime.h |
|
81.5 % | 75 / 92 | 50.0 % | 5 / 10 |
Generated by: LCOV version 1.14 |