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