LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3529 4175 84.5 %
Date: 2020-09-16 00:45:56 Functions: 1080 1372 78.7 %
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.8%92.8%
92.8 % 259 / 279 97.0 % 32 / 33
action_summand.h
92.3%92.3%
92.3 % 36 / 39 93.8 % 15 / 16
add_binding.h
81.5%81.5%
81.5 % 53 / 65 93.3 % 56 / 60
binary.h
94.2%94.2%
94.2 % 146 / 155 50.0 % 14 / 28
builder.h
90.2%90.2%
90.2 % 147 / 163 83.0 % 93 / 112
confluence_checker.h
76.5%76.5%
76.5 % 238 / 311 94.1 % 16 / 17
constelm.h
88.7%88.7%
88.7 % 86 / 97 100.0 % 20 / 20
deadlock.h
83.3%83.3%
83.3 % 10 / 12 90.0 % 9 / 10
deadlock_summand.h
92.0%92.0%
92.0 % 23 / 25 91.7 % 11 / 12
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 % 6 / 6
exploration_strategy.h
47.4%47.4%
47.4 % 9 / 19 100.0 % 2 / 2
explorer.h
58.9%58.9%
58.9 % 259 / 440 46.1 % 106 / 230
explorer_options.h
100.0%
100.0 % 3 / 3 100.0 % 2 / 2
find.h
84.8%84.8%
84.8 % 39 / 46 79.7 % 55 / 69
find_representative.h
76.1%76.1%
76.1 % 35 / 46 50.0 % 1 / 2
invariant_checker.h
63.6%63.6%
63.6 % 49 / 77 37.5 % 6 / 16
invelm_algorithm.h
100.0%
100.0 % 22 / 22 50.0 % 6 / 12
io.h
75.0%75.0%
75.0 % 18 / 24 50.0 % 4 / 8
is_stochastic.h
100.0%
100.0 % 11 / 11 100.0 % 3 / 3
is_well_typed.h
64.4%64.4%
64.4 % 85 / 132 90.3 % 28 / 31
linear_process.h
97.6%97.6%
97.6 % 41 / 42 100.0 % 36 / 36
linearisation_method.h
88.9%88.9%
88.9 % 8 / 9 100.0 % 2 / 2
linearise.h
100.0%
100.0 % 7 / 7 100.0 % 2 / 2
lpsparunfoldlib.h
100.0%
100.0 % 7 / 7 100.0 % 6 / 6
ltsmin.h
96.8%96.8%
96.8 % 365 / 377 94.4 % 67 / 71
multi_action.h
98.0%98.0%
98.0 % 99 / 101 96.4 % 27 / 28
next_state_generator.h
94.4%94.4%
94.4 % 51 / 54 93.0 % 40 / 43
normalize_sorts.h
100.0%
100.0 % 3 / 3 100.0 % 2 / 2
one_point_rule_rewrite.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
order_summand_variables.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
parelm.h
96.9%96.9%
96.9 % 95 / 98 94.7 % 18 / 19
parse.h
94.3%94.3%
94.3 % 33 / 35 100.0 % 7 / 7
parse_impl.h
92.7%92.7%
92.7 % 51 / 55 100.0 % 12 / 12
print.h
84.6%84.6%
84.6 % 132 / 156 65.5 % 38 / 58
probabilistic_data_expression.h
91.1%91.1%
91.1 % 41 / 45 88.2 % 15 / 17
process_initializer.h
94.1%94.1%
94.1 % 16 / 17 100.0 % 8 / 8
remove.h
80.6%80.6%
80.6 % 75 / 93 83.3 % 20 / 24
replace.h
100.0%
100.0 % 60 / 60 91.3 % 21 / 23
replace_capture_avoiding.h
82.4%82.4%
82.4 % 14 / 17 88.9 % 8 / 9
replace_capture_avoiding_with_an_identifier_generator.h
100.0%
100.0 % 6 / 6 100.0 % 4 / 4
replace_constants_by_variables.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 4
resolve_name_clashes.h
91.2%91.2%
91.2 % 52 / 57 100.0 % 7 / 7
rewrite.h
100.0%
100.0 % 6 / 6 87.5 % 7 / 8
simulation.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 7
specification.h
100.0%
100.0 % 48 / 48 100.0 % 42 / 42
state_probability_pair.h
100.0%
100.0 % 15 / 15 90.9 % 20 / 22
stochastic_action_summand.h
89.3%89.3%
89.3 % 25 / 28 92.3 % 12 / 13
stochastic_distribution.h
100.0%
100.0 % 17 / 17 100.0 % 11 / 11
stochastic_linear_process.h
100.0%
100.0 % 14 / 14 100.0 % 8 / 8
stochastic_process_initializer.h
100.0%
100.0 % 9 / 9 100.0 % 7 / 7
stochastic_specification.h
95.1%95.1%
95.1 % 39 / 41 100.0 % 12 / 12
stochastic_state.h
32.4%32.4%
32.4 % 11 / 34 70.0 % 7 / 10
sumelm.h
95.6%95.6%
95.6 % 86 / 90 88.9 % 16 / 18
suminst.h
89.5%89.5%
89.5 % 68 / 76 52.2 % 12 / 23
summand.h
100.0%
100.0 % 15 / 15 100.0 % 11 / 11
translate_user_notation.h
100.0%
100.0 % 3 / 3 100.0 % 1 / 1
traverser.h
93.3%93.3%
93.3 % 322 / 345 94.5 % 69 / 73
typecheck.h
91.3%91.3%
91.3 % 42 / 46 90.0 % 9 / 10
untime.h
82.4%82.4%
82.4 % 70 / 85 50.0 % 6 / 12

Generated by: LCOV version 1.13