LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3851 4973 77.4 %
Date: 2024-03-08 02:52:28 Functions: 1038 1513 68.6 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

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

Generated by: LCOV version 1.14