LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4804 6239 77.0 %
Date: 2024-03-08 02:52:28 Functions: 1304 2216 58.8 %
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
75.5%75.5%
75.5 % 373 / 494 76.7 % 33 / 43
abstract.h
86.0%86.0%
86.0 % 43 / 50 87.5 % 7 / 8
add_binding.h
80.0%80.0%
80.0 % 24 / 30 78.3 % 18 / 23
anonymize.h
0.0%
0.0 % 0 / 28 0.0 % 0 / 7
bisimulation.h
100.0%
100.0 % 428 / 428 100.0 % 37 / 37
builder.h
98.3%98.3%
98.3 % 228 / 232 40.8 % 256 / 627
complement.h
87.5%87.5%
87.5 % 21 / 24 80.0 % 4 / 5
constelm.h
67.4%67.4%
67.4 % 312 / 463 41.8 % 38 / 91
enumerator.h
100.0%
100.0 % 4 / 4 100.0 % 2 / 2
eqelm.h
78.9%78.9%
78.9 % 105 / 133 72.7 % 8 / 11
find.h
83.9%83.9%
83.9 % 52 / 62 65.8 % 25 / 38
find_equalities.h
93.3%93.3%
93.3 % 42 / 45 88.9 % 8 / 9
fixpoint_symbol.h
100.0%
100.0 % 21 / 21 100.0 % 11 / 11
gauss_elimination_algorithm.h
74.3%74.3%
74.3 % 26 / 35 71.4 % 5 / 7
io.h
100.0%
100.0 % 9 / 9 100.0 % 5 / 5
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
81.2%81.2%
81.2 % 26 / 32 71.4 % 10 / 14
lps2pbes.h
86.0%86.0%
86.0 % 74 / 86 87.5 % 7 / 8
normal_forms.h
86.3%86.3%
86.3 % 88 / 102 87.5 % 14 / 16
normalize.h
89.7%89.7%
89.7 % 70 / 78 86.7 % 13 / 15
normalize_sorts.h
87.5%87.5%
87.5 % 7 / 8 66.7 % 2 / 3
parelm.h
61.4%61.4%
61.4 % 89 / 145 64.7 % 11 / 17
parity_game_generator.h
75.1%75.1%
75.1 % 139 / 185 83.3 % 15 / 18
parse.h
95.7%95.7%
95.7 % 22 / 23 100.0 % 4 / 4
parse_impl.h
92.9%92.9%
92.9 % 39 / 42 100.0 % 11 / 11
pbes.h
92.0%92.0%
92.0 % 81 / 88 95.0 % 19 / 20
pbes_equation.h
86.2%86.2%
86.2 % 25 / 29 90.9 % 10 / 11
pbes_equation_index.h
100.0%
100.0 % 23 / 23 100.0 % 3 / 3
pbes_explorer.h
100.0%
100.0 % 22 / 22 100.0 % 2 / 2
pbes_expression.h
92.3%92.3%
92.3 % 287 / 311 56.8 % 189 / 333
pbes_functions.h
85.7%85.7%
85.7 % 24 / 28 81.8 % 9 / 11
pbes_gauss_elimination.h
89.7%89.7%
89.7 % 26 / 29 88.9 % 8 / 9
pbes_input_tool.h
0.0%
0.0 % 0 / 46 0.0 % 0 / 8
pbes_output_tool.h
0.0%
0.0 % 0 / 45 0.0 % 0 / 8
pbesinst_algorithm.h
88.0%88.0%
88.0 % 73 / 83 88.9 % 8 / 9
pbesinst_finite_algorithm.h
81.3%81.3%
81.3 % 161 / 198 82.6 % 19 / 23
pbesinst_lazy.h
67.1%67.1%
67.1 % 110 / 164 66.7 % 16 / 24
pbesinst_structure_graph.h
85.5%85.5%
85.5 % 47 / 55 83.3 % 5 / 6
pbesinst_symbolic.h
100.0%
100.0 % 32 / 32 100.0 % 2 / 2
pbessolve_attractors.h
94.9%94.9%
94.9 % 37 / 39 100.0 % 7 / 7
pbessolve_vertex_set.h
75.9%75.9%
75.9 % 60 / 79 85.7 % 18 / 21
pg_parse.h
94.3%94.3%
94.3 % 82 / 87 100.0 % 16 / 16
print.h
98.5%98.5%
98.5 % 134 / 136 60.4 % 55 / 91
propositional_variable.h
80.6%80.6%
80.6 % 25 / 31 87.5 % 14 / 16
quantifier_propagate.h
86.5%86.5%
86.5 % 141 / 163 84.0 % 21 / 25
remove_equations.h
82.5%82.5%
82.5 % 33 / 40 66.7 % 2 / 3
remove_parameters.h
61.8%61.8%
61.8 % 63 / 102 69.6 % 16 / 23
replace.h
88.1%88.1%
88.1 % 52 / 59 75.7 % 28 / 37
replace_capture_avoiding.h
100.0%
100.0 % 30 / 30 100.0 % 5 / 5
replace_constants_by_variables.h
0.0%
0.0 % 0 / 7 0.0 % 0 / 2
rewrite.h
100.0%
100.0 % 17 / 17 41.7 % 25 / 60
significant_variables.h
83.3%83.3%
83.3 % 35 / 42 83.3 % 10 / 12
small_progress_measures.h
78.7%78.7%
78.7 % 129 / 164 75.0 % 15 / 20
solve_structure_graph.h
65.5%65.5%
65.5 % 110 / 168 80.0 % 8 / 10
srf_pbes.h
0.0%
0.0 % 0 / 218 0.0 % 0 / 37
stategraph.h
0.0%
0.0 % 0 / 20 0.0 % 0 / 1
structure_graph.h
43.9%43.9%
43.9 % 47 / 107 65.6 % 21 / 32
structure_graph_builder.h
95.2%95.2%
95.2 % 59 / 62 92.3 % 12 / 13
substitutions.h
100.0%
100.0 % 27 / 27 100.0 % 5 / 5
transformations.h
94.7%94.7%
94.7 % 18 / 19 100.0 % 4 / 4
translate_user_notation.h
87.5%87.5%
87.5 % 7 / 8 100.0 % 2 / 2
traverser.h
85.7%85.7%
85.7 % 336 / 392 65.8 % 158 / 240
txt2pbes.h
91.7%91.7%
91.7 % 11 / 12 100.0 % 2 / 2
typecheck.h
81.5%81.5%
81.5 % 110 / 135 93.8 % 15 / 16
unify_parameters.h
0.0%
0.0 % 0 / 65 0.0 % 0 / 5
untyped_pbes.h
87.5%87.5%
87.5 % 7 / 8 100.0 % 1 / 1

Generated by: LCOV version 1.14