LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3548 4211 84.3 %
Date: 2020-02-19 00:44:21 Functions: 1079 1380 78.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
simulation.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 7
replace_constants_by_variables.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 4
decluster.h
0.0%
0.0 % 0 / 23 0.0 % 0 / 8
stochastic_state.h
32.4%32.4%
32.4 % 11 / 34 70.0 % 7 / 10
exploration_strategy.h
47.4%47.4%
47.4 % 9 / 19 100.0 % 2 / 2
explorer.h
58.8%58.8%
58.8 % 258 / 439 46.1 % 106 / 230
invariant_checker.h
61.6%61.6%
61.6 % 45 / 73 37.5 % 6 / 16
is_well_typed.h
64.7%64.7%
64.7 % 88 / 136 90.6 % 29 / 32
stochastic_process_initializer.h
69.2%69.2%
69.2 % 9 / 13 87.5 % 7 / 8
io.h
75.0%75.0%
75.0 % 18 / 24 50.0 % 4 / 8
remove.h
75.7%75.7%
75.7 % 56 / 74 80.0 % 16 / 20
find_representative.h
76.1%76.1%
76.1 % 35 / 46 50.0 % 1 / 2
confluence_checker.h
76.5%76.5%
76.5 % 238 / 311 94.1 % 16 / 17
stochastic_linear_process.h
77.3%77.3%
77.3 % 17 / 22 77.8 % 7 / 9
stochastic_specification.h
78.8%78.8%
78.8 % 41 / 52 84.6 % 11 / 13
add_binding.h
81.5%81.5%
81.5 % 53 / 65 93.3 % 56 / 60
stochastic_action_summand.h
82.1%82.1%
82.1 % 23 / 28 84.6 % 11 / 13
disjointness_checker.h
82.1%82.1%
82.1 % 46 / 56 100.0 % 6 / 6
replace_capture_avoiding.h
82.4%82.4%
82.4 % 14 / 17 88.9 % 8 / 9
untime.h
82.4%82.4%
82.4 % 70 / 85 50.0 % 6 / 12
deadlock.h
83.3%83.3%
83.3 % 10 / 12 90.0 % 9 / 10
deadlock_summand.h
84.0%84.0%
84.0 % 21 / 25 75.0 % 9 / 12
print.h
84.6%84.6%
84.6 % 132 / 156 65.5 % 38 / 58
summand.h
86.7%86.7%
86.7 % 13 / 15 90.9 % 10 / 11
action_summand.h
87.2%87.2%
87.2 % 34 / 39 87.5 % 14 / 16
constelm.h
88.3%88.3%
88.3 % 83 / 94 100.0 % 20 / 20
linearisation_method.h
88.9%88.9%
88.9 % 8 / 9 100.0 % 2 / 2
suminst.h
89.5%89.5%
89.5 % 68 / 76 52.2 % 12 / 23
builder.h
90.2%90.2%
90.2 % 147 / 163 83.3 % 95 / 114
action_rename.h
90.3%90.3%
90.3 % 252 / 279 97.0 % 32 / 33
probabilistic_data_expression.h
90.5%90.5%
90.5 % 38 / 42 87.5 % 14 / 16
resolve_name_clashes.h
91.2%91.2%
91.2 % 52 / 57 100.0 % 7 / 7
typecheck.h
91.3%91.3%
91.3 % 42 / 46 90.0 % 9 / 10
parse_impl.h
92.7%92.7%
92.7 % 51 / 55 100.0 % 12 / 12
binary.h
92.9%92.9%
92.9 % 105 / 113 50.0 % 11 / 22
parse.h
94.3%94.3%
94.3 % 33 / 35 100.0 % 7 / 7
next_state_generator.h
94.4%94.4%
94.4 % 51 / 54 90.7 % 39 / 43
process_initializer.h
94.7%94.7%
94.7 % 18 / 19 100.0 % 9 / 9
multi_action.h
94.9%94.9%
94.9 % 94 / 99 92.6 % 25 / 27
sumelm.h
95.6%95.6%
95.6 % 86 / 90 88.9 % 16 / 18
ltsmin.h
96.8%96.8%
96.8 % 365 / 377 94.4 % 67 / 71
parelm.h
96.9%96.9%
96.9 % 95 / 98 94.7 % 18 / 19
linear_process.h
97.3%97.3%
97.3 % 71 / 73 97.3 % 36 / 37
traverser.h
97.7%97.7%
97.7 % 337 / 345 98.6 % 72 / 73
specification.h
97.8%97.8%
97.8 % 89 / 91 92.3 % 48 / 52
translate_user_notation.h
100.0%
100.0 % 3 / 3 100.0 % 1 / 1
normalize_sorts.h
100.0%
100.0 % 3 / 3 100.0 % 2 / 2
explorer_options.h
100.0%
100.0 % 3 / 3 100.0 % 2 / 2
order_summand_variables.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
one_point_rule_rewrite.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3
rewrite.h
100.0%
100.0 % 6 / 6 87.5 % 7 / 8
replace_capture_avoiding_with_an_identifier_generator.h
100.0%
100.0 % 6 / 6 100.0 % 4 / 4
lpsparunfoldlib.h
100.0%
100.0 % 7 / 7 100.0 % 6 / 6
linearise.h
100.0%
100.0 % 10 / 10 100.0 % 3 / 3
is_stochastic.h
100.0%
100.0 % 11 / 11 100.0 % 3 / 3
state_probability_pair.h
100.0%
100.0 % 15 / 15 90.9 % 20 / 22
stochastic_distribution.h
100.0%
100.0 % 17 / 17 100.0 % 11 / 11
invelm_algorithm.h
100.0%
100.0 % 22 / 22 50.0 % 6 / 12
find.h
100.0%
100.0 % 46 / 46 82.6 % 57 / 69
replace.h
100.0%
100.0 % 64 / 64 91.7 % 22 / 24

Generated by: LCOV version 1.13