LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3905 4714 82.8 %
Date: 2019-05-18 00:50:05 Functions: 1285 1729 74.3 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
absinthe.h
78.2%78.2%
78.2 % 337 / 431 78.3 % 36 / 46
abstract.h
87.8%87.8%
87.8 % 36 / 41 88.9 % 8 / 9
add_binding.h
100.0%
100.0 % 25 / 25 88.9 % 32 / 36
bisimulation.h
100.0%
100.0 % 352 / 352 100.0 % 47 / 47
builder.h
97.4%97.4%
97.4 % 221 / 227 62.4 % 242 / 388
complement.h
80.0%80.0%
80.0 % 8 / 10 80.0 % 4 / 5
constelm.h
70.8%70.8%
70.8 % 228 / 322 56.7 % 51 / 90
enumerator.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
eqelm.h
75.0%75.0%
75.0 % 102 / 136 56.2 % 9 / 16
find.h
80.4%80.4%
80.4 % 45 / 56 71.9 % 23 / 32
find_equalities.h
93.3%93.3%
93.3 % 42 / 45 92.3 % 12 / 13
fixpoint_symbol.h
100.0%
100.0 % 20 / 20 100.0 % 12 / 12
gauss_elimination.h
77.1%77.1%
77.1 % 27 / 35 60.0 % 6 / 10
index_traits.h
66.7%66.7%
66.7 % 8 / 12 66.7 % 2 / 3
io.h
90.3%90.3%
90.3 % 56 / 62 100.0 % 9 / 9
is_bes.h
88.0%88.0%
88.0 % 22 / 25 87.5 % 7 / 8
is_monotonous.h
90.8%90.8%
90.8 % 59 / 65 100.0 % 3 / 3
join.h
90.0%90.0%
90.0 % 18 / 20 50.0 % 8 / 16
lps2pbes.h
86.3%86.3%
86.3 % 63 / 73 87.5 % 7 / 8
normalize.h
88.3%88.3%
88.3 % 53 / 60 86.7 % 13 / 15
normalize_sorts.h
100.0%
100.0 % 5 / 5 66.7 % 2 / 3
parelm.h
63.2%63.2%
63.2 % 67 / 106 60.0 % 3 / 5
parity_game_generator.h
76.0%76.0%
76.0 % 130 / 171 83.3 % 15 / 18
parse.h
97.8%97.8%
97.8 % 89 / 91 100.0 % 20 / 20
pbes.h
95.9%95.9%
95.9 % 118 / 123 100.0 % 29 / 29
pbes_equation.h
93.1%93.1%
93.1 % 27 / 29 93.3 % 14 / 15
pbes_equation_index.h
100.0%
100.0 % 21 / 21 100.0 % 4 / 4
pbes_explorer.h
100.0%
100.0 % 24 / 24 85.7 % 6 / 7
pbes_expression.h
91.2%91.2%
91.2 % 239 / 262 92.1 % 105 / 114
pbes_functions.h
92.3%92.3%
92.3 % 24 / 26 81.8 % 9 / 11
pbes_gauss_elimination.h
89.3%89.3%
89.3 % 25 / 28 88.9 % 8 / 9
pbesinst_algorithm.h
89.2%89.2%
89.2 % 66 / 74 90.0 % 9 / 10
pbesinst_finite_algorithm.h
80.6%80.6%
80.6 % 150 / 186 78.6 % 22 / 28
pbesinst_lazy.h
70.6%70.6%
70.6 % 84 / 119 72.0 % 18 / 25
pbesinst_structure_graph.h
100.0%
100.0 % 43 / 43 85.7 % 6 / 7
pbesinst_symbolic.h
100.0%
100.0 % 29 / 29 100.0 % 3 / 3
pbessolve_vertex_set.h
83.0%83.0%
83.0 % 83 / 100 87.5 % 21 / 24
print.h
98.5%98.5%
98.5 % 134 / 136 61.3 % 57 / 93
propositional_variable.h
89.5%89.5%
89.5 % 17 / 19 90.9 % 10 / 11
remove_equations.h
83.3%83.3%
83.3 % 30 / 36 66.7 % 2 / 3
remove_parameters.h
68.7%68.7%
68.7 % 46 / 67 71.4 % 15 / 21
replace.h
98.2%98.2%
98.2 % 54 / 55 85.3 % 29 / 34
replace_constants_by_variables.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 3
rewrite.h
100.0%
100.0 % 10 / 10 75.0 % 24 / 32
significant_variables.h
83.3%83.3%
83.3 % 35 / 42 85.7 % 12 / 14
solve_structure_graph.h
63.9%63.9%
63.9 % 101 / 158 80.0 % 8 / 10
stategraph.h
0.0%
0.0 % 0 / 16 0.0 % 0 / 1
structure_graph.h
67.9%67.9%
67.9 % 108 / 159 79.6 % 39 / 49
substitutions.h
100.0%
100.0 % 27 / 27 100.0 % 6 / 6
transformations.h
100.0%
100.0 % 10 / 10 100.0 % 4 / 4
translate_user_notation.h
100.0%
100.0 % 5 / 5 100.0 % 2 / 2
traverser.h
71.6%71.6%
71.6 % 278 / 388 70.6 % 231 / 327
txt2pbes.h
100.0%
100.0 % 10 / 10 100.0 % 2 / 2
typecheck.h
81.8%81.8%
81.8 % 90 / 110 100.0 % 17 / 17

Generated by: LCOV version 1.12