LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3239 3661 88.5 %
Date: 2019-07-19 02:46:18 Functions: 1026 1187 86.4 %
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
90.4%90.4%
90.4 % 253 / 280 97.0 % 32 / 33
action_summand.h
87.2%87.2%
87.2 % 34 / 39 87.5 % 14 / 16
add_binding.h
100.0%
100.0 % 51 / 51 100.0 % 56 / 56
binary.h
92.0%92.0%
92.0 % 104 / 113 50.0 % 11 / 22
builder.h
89.7%89.7%
89.7 % 139 / 155 94.7 % 125 / 132
confluence_checker.h
76.6%76.6%
76.6 % 242 / 316 94.1 % 16 / 17
constelm.h
86.5%86.5%
86.5 % 83 / 96 100.0 % 20 / 20
deadlock.h
83.3%83.3%
83.3 % 10 / 12 90.0 % 9 / 10
deadlock_summand.h
83.3%83.3%
83.3 % 20 / 24 75.0 % 9 / 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
58.3%58.3%
58.3 % 7 / 12 100.0 % 2 / 2
find.h
100.0%
100.0 % 46 / 46 82.4 % 61 / 74
invariant_checker.h
61.6%61.6%
61.6 % 45 / 73 37.5 % 6 / 16
invelm_algorithm.h
100.0%
100.0 % 21 / 21 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.7%64.7%
64.7 % 88 / 136 90.6 % 29 / 32
linear_process.h
97.4%97.4%
97.4 % 75 / 77 97.3 % 36 / 37
linearisation_method.h
88.9%88.9%
88.9 % 8 / 9 100.0 % 2 / 2
linearise.h
100.0%
100.0 % 6 / 6 100.0 % 2 / 2
lpsparunfoldlib.h
100.0%
100.0 % 7 / 7 100.0 % 6 / 6
ltsmin.h
96.8%96.8%
96.8 % 359 / 371 94.4 % 67 / 71
multi_action.h
94.8%94.8%
94.8 % 92 / 97 92.6 % 25 / 27
next_state_generator.h
94.4%94.4%
94.4 % 51 / 54 90.7 % 39 / 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
parelm.h
96.9%96.9%
96.9 % 95 / 98 94.7 % 18 / 19
parse.h
94.8%94.8%
94.8 % 109 / 115 100.0 % 23 / 23
print.h
84.6%84.6%
84.6 % 132 / 156 64.3 % 36 / 56
probabilistic_data_expression.h
90.5%90.5%
90.5 % 38 / 42 87.5 % 14 / 16
process_initializer.h
94.7%94.7%
94.7 % 18 / 19 100.0 % 9 / 9
remove.h
75.7%75.7%
75.7 % 56 / 74 80.0 % 16 / 20
replace.h
93.8%93.8%
93.8 % 76 / 81 91.2 % 31 / 34
resolve_name_clashes.h
100.0%
100.0 % 32 / 32 100.0 % 6 / 6
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
98.0%98.0%
98.0 % 97 / 99 92.3 % 48 / 52
state_probability_pair.h
100.0%
100.0 % 15 / 15 87.0 % 20 / 23
stochastic_action_summand.h
83.9%83.9%
83.9 % 26 / 31 84.6 % 11 / 13
stochastic_distribution.h
100.0%
100.0 % 17 / 17 100.0 % 11 / 11
stochastic_linear_process.h
77.3%77.3%
77.3 % 17 / 22 77.8 % 7 / 9
stochastic_process_initializer.h
69.2%69.2%
69.2 % 9 / 13 87.5 % 7 / 8
stochastic_specification.h
80.0%80.0%
80.0 % 44 / 55 84.6 % 11 / 13
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
85.7%85.7%
85.7 % 12 / 14 90.9 % 10 / 11
translate_user_notation.h
100.0%
100.0 % 3 / 3 100.0 % 1 / 1
traverser.h
97.7%97.7%
97.7 % 347 / 355 93.0 % 106 / 114
typecheck.h
95.5%95.5%
95.5 % 42 / 44 100.0 % 9 / 9
untime.h
82.4%82.4%
82.4 % 70 / 85 50.0 % 6 / 12

Generated by: LCOV version 1.12