LCOV - code coverage report | |||||||||||||||||||||||||
![]() | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
![]() |
Filename ![]() |
Line Coverage ![]() |
Functions ![]() |
||||
absinthe.h |
|
78.3 % | 339 / 433 | 78.3 % | 36 / 46 | |
abstract.h |
|
88.1 % | 37 / 42 | 88.9 % | 8 / 9 | |
add_binding.h |
|
69.2 % | 27 / 39 | 81.0 % | 34 / 42 | |
bisimulation.h |
|
100.0 % | 354 / 354 | 100.0 % | 47 / 47 | |
builder.h |
|
97.3 % | 214 / 220 | 50.9 % | 140 / 275 | |
complement.h |
|
80.0 % | 8 / 10 | 80.0 % | 4 / 5 | |
constelm.h |
|
67.9 % | 201 / 296 | 48.7 % | 37 / 76 | |
enumerator.h |
|
100.0 % | 4 / 4 | 100.0 % | 2 / 2 | |
eqelm.h |
|
81.1 % | 103 / 127 | 75.0 % | 9 / 12 | |
find.h |
|
92.9 % | 52 / 56 | 68.6 % | 24 / 35 | |
find_equalities.h |
|
93.3 % | 42 / 45 | 92.3 % | 12 / 13 | |
fixpoint_symbol.h |
|
100.0 % | 20 / 20 | 100.0 % | 12 / 12 | |
gauss_elimination.h |
|
77.1 % | 27 / 35 | 60.0 % | 6 / 10 | |
index_traits.h |
|
66.7 % | 8 / 12 | 66.7 % | 2 / 3 | |
io.h |
|
91.7 % | 11 / 12 | 100.0 % | 4 / 4 | |
is_bes.h |
|
88.0 % | 22 / 25 | 87.5 % | 7 / 8 | |
is_monotonous.h |
|
90.8 % | 59 / 65 | 100.0 % | 3 / 3 | |
join.h |
|
90.0 % | 18 / 20 | 50.0 % | 8 / 16 | |
lps2pbes.h |
|
85.7 % | 66 / 77 | 87.5 % | 7 / 8 | |
normalize.h |
|
88.3 % | 53 / 60 | 86.7 % | 13 / 15 | |
normalize_sorts.h |
|
100.0 % | 5 / 5 | 66.7 % | 2 / 3 | |
parelm.h |
|
62.6 % | 87 / 139 | 66.7 % | 12 / 18 | |
parity_game_generator.h |
|
76.3 % | 132 / 173 | 83.3 % | 15 / 18 | |
parse.h |
|
100.0 % | 20 / 20 | 100.0 % | 4 / 4 | |
parse_impl.h |
|
95.1 % | 39 / 41 | 100.0 % | 11 / 11 | |
pbes.h |
|
96.2 % | 76 / 79 | 100.0 % | 25 / 25 | |
pbes_equation.h |
|
90.9 % | 20 / 22 | 93.3 % | 14 / 15 | |
pbes_equation_index.h |
|
100.0 % | 21 / 21 | 100.0 % | 4 / 4 | |
pbes_explorer.h |
|
100.0 % | 24 / 24 | 85.7 % | 6 / 7 | |
pbes_expression.h |
|
91.2 % | 237 / 260 | 92.0 % | 103 / 112 | |
pbes_functions.h |
|
92.3 % | 24 / 26 | 81.8 % | 9 / 11 | |
pbes_gauss_elimination.h |
|
89.3 % | 25 / 28 | 88.9 % | 8 / 9 | |
pbesinst_algorithm.h |
|
89.5 % | 68 / 76 | 90.0 % | 9 / 10 | |
pbesinst_finite_algorithm.h |
|
80.5 % | 149 / 185 | 78.6 % | 22 / 28 | |
pbesinst_lazy.h |
|
67.5 % | 77 / 114 | 70.8 % | 17 / 24 | |
pbesinst_structure_graph.h |
|
86.3 % | 44 / 51 | 75.0 % | 6 / 8 | |
pbesinst_symbolic.h |
|
100.0 % | 31 / 31 | 100.0 % | 3 / 3 | |
pbessolve_attractors.h |
|
97.3 % | 36 / 37 | 100.0 % | 7 / 7 | |
pbessolve_vertex_set.h |
|
77.2 % | 61 / 79 | 87.0 % | 20 / 23 | |
print.h |
|
98.5 % | 133 / 135 | 60.4 % | 55 / 91 | |
propositional_variable.h |
|
86.7 % | 13 / 15 | 90.0 % | 9 / 10 | |
quantifier_propagate.h |
|
87.1 % | 135 / 155 | 86.7 % | 26 / 30 | |
remove_equations.h |
|
83.3 % | 30 / 36 | 66.7 % | 2 / 3 | |
remove_parameters.h |
|
69.1 % | 47 / 68 | 71.4 % | 15 / 21 | |
replace.h |
|
100.0 % | 39 / 39 | 84.8 % | 28 / 33 | |
replace_capture_avoiding.h |
|
100.0 % | 22 / 22 | 100.0 % | 5 / 5 | |
replace_constants_by_variables.h |
|
0.0 % | 0 / 8 | 0.0 % | 0 / 3 | |
rewrite.h |
|
100.0 % | 14 / 14 | 62.5 % | 25 / 40 | |
significant_variables.h |
|
83.3 % | 35 / 42 | 85.7 % | 12 / 14 | |
solve_structure_graph.h |
|
64.2 % | 102 / 159 | 80.0 % | 8 / 10 | |
stategraph.h |
|
0.0 % | 0 / 16 | 0.0 % | 0 / 1 | |
structure_graph.h |
|
51.0 % | 53 / 104 | 70.3 % | 26 / 37 | |
structure_graph_builder.h |
|
95.2 % | 60 / 63 | 92.9 % | 13 / 14 | |
substitutions.h |
|
100.0 % | 27 / 27 | 100.0 % | 6 / 6 | |
transformations.h |
|
100.0 % | 10 / 10 | 100.0 % | 4 / 4 | |
translate_user_notation.h |
|
100.0 % | 5 / 5 | 100.0 % | 2 / 2 | |
traverser.h |
|
87.5 % | 330 / 377 | 68.8 % | 172 / 250 | |
txt2pbes.h |
|
100.0 % | 10 / 10 | 100.0 % | 2 / 2 | |
typecheck.h |
|
82.0 % | 91 / 111 | 100.0 % | 17 / 17 | |
untyped_pbes.h |
|
100.0 % | 8 / 8 | 100.0 % | 3 / 3 |
![]() |
Generated by: LCOV version 1.13 |