LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4005 4787 83.7 %
Date: 2021-04-15 00:46:37 Functions: 1142 1577 72.4 %
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.3%78.3%
 78.3 % 339 / 433 78.3 % 36 / 46
abstract.h
88.1%88.1%
 88.1 % 37 / 42 88.9 % 8 / 9
add_binding.h
69.2%69.2%
 69.2 % 27 / 39 81.0 % 34 / 42
bisimulation.h
100.0%
 100.0 % 354 / 354 100.0 % 47 / 47
builder.h
97.3%97.3%
 97.3 % 214 / 220 50.9 % 140 / 275
complement.h
80.0%80.0%
 80.0 % 8 / 10 80.0 % 4 / 5
constelm.h
67.9%67.9%
 67.9 % 201 / 296 48.7 % 37 / 76
enumerator.h
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2
eqelm.h
81.1%81.1%
 81.1 % 103 / 127 75.0 % 9 / 12
find.h
92.9%92.9%
 92.9 % 52 / 56 68.6 % 24 / 35
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
91.7%91.7%
 91.7 % 11 / 12 100.0 % 4 / 4
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
85.7%85.7%
 85.7 % 66 / 77 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
62.6%62.6%
 62.6 % 87 / 139 66.7 % 12 / 18
parity_game_generator.h
76.3%76.3%
 76.3 % 132 / 173 83.3 % 15 / 18
parse.h
100.0%
 100.0 % 20 / 20 100.0 % 4 / 4
parse_impl.h
95.1%95.1%
 95.1 % 39 / 41 100.0 % 11 / 11
pbes.h
96.2%96.2%
 96.2 % 76 / 79 100.0 % 25 / 25
pbes_equation.h
90.9%90.9%
 90.9 % 20 / 22 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 % 237 / 260 92.0 % 103 / 112
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.5%89.5%
 89.5 % 68 / 76 90.0 % 9 / 10
pbesinst_finite_algorithm.h
80.5%80.5%
 80.5 % 149 / 185 78.6 % 22 / 28
pbesinst_lazy.h
67.5%67.5%
 67.5 % 77 / 114 70.8 % 17 / 24
pbesinst_structure_graph.h
86.3%86.3%
 86.3 % 44 / 51 75.0 % 6 / 8
pbesinst_symbolic.h
100.0%
 100.0 % 31 / 31 100.0 % 3 / 3
pbessolve_attractors.h
97.3%97.3%
 97.3 % 36 / 37 100.0 % 7 / 7
pbessolve_vertex_set.h
77.2%77.2%
 77.2 % 61 / 79 87.0 % 20 / 23
print.h
98.5%98.5%
 98.5 % 133 / 135 60.4 % 55 / 91
propositional_variable.h
86.7%86.7%
 86.7 % 13 / 15 90.0 % 9 / 10
quantifier_propagate.h
87.1%87.1%
 87.1 % 135 / 155 86.7 % 26 / 30
remove_equations.h
83.3%83.3%
 83.3 % 30 / 36 66.7 % 2 / 3
remove_parameters.h
69.1%69.1%
 69.1 % 47 / 68 71.4 % 15 / 21
replace.h
100.0%
 100.0 % 39 / 39 84.8 % 28 / 33
replace_capture_avoiding.h
100.0%
 100.0 % 22 / 22 100.0 % 5 / 5
replace_constants_by_variables.h
0.0%
 0.0 % 0 / 8 0.0 % 0 / 3
rewrite.h
100.0%
 100.0 % 14 / 14 62.5 % 25 / 40
significant_variables.h
83.3%83.3%
 83.3 % 35 / 42 85.7 % 12 / 14
solve_structure_graph.h
64.2%64.2%
 64.2 % 102 / 159 80.0 % 8 / 10
stategraph.h
0.0%
 0.0 % 0 / 16 0.0 % 0 / 1
structure_graph.h
51.0%51.0%
 51.0 % 53 / 104 70.3 % 26 / 37
structure_graph_builder.h
95.2%95.2%
 95.2 % 60 / 63 92.9 % 13 / 14
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
87.5%87.5%
 87.5 % 330 / 377 68.8 % 172 / 250
txt2pbes.h
100.0%
 100.0 % 10 / 10 100.0 % 2 / 2
typecheck.h
82.0%82.0%
 82.0 % 91 / 111 100.0 % 17 / 17
untyped_pbes.h
100.0%
 100.0 % 8 / 8 100.0 % 3 / 3

Generated by: LCOV version 1.13