LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
has_propositional_variables.h |
|
0.0 % | 0 / 10 | 0.0 % | 0 / 3 | |
pbes_command.h |
|
0.0 % | 0 / 10 | 0.0 % | 0 / 3 | |
stategraph_global_algorithm.h |
|
0.0 % | 0 / 89 | 0.0 % | 0 / 7 | |
stategraph_influence.h |
|
0.0 % | 0 / 63 | 0.0 % | 0 / 9 | |
stategraph_global_reset_variables.h |
|
0.0 % | 0 / 197 | 0.0 % | 0 / 22 | |
ppg_visitor.h |
|
4.7 % | 4 / 85 | 16.7 % | 2 / 12 | |
lps2pbes_e.h |
|
64.6 % | 84 / 130 | 16.7 % | 38 / 228 | |
lps2pbes_rhs.h |
|
74.0 % | 213 / 288 | 17.6 % | 51 / 290 | |
stategraph_simplify_rewriter.h |
|
23.2 % | 23 / 99 | 31.6 % | 6 / 19 | |
stategraph_utility.h |
|
33.3 % | 6 / 18 | 33.3 % | 1 / 3 | |
lps2pbes_sat.h |
|
76.4 % | 55 / 72 | 38.2 % | 13 / 34 | |
is_well_typed.h |
|
29.6 % | 37 / 125 | 43.8 % | 7 / 16 | |
bqnf_quantifier_rewriter.h |
|
34.9 % | 66 / 189 | 44.4 % | 4 / 9 | |
stategraph_graph.h |
|
57.2 % | 147 / 257 | 50.6 % | 39 / 77 | |
ppg_rewriter.h |
|
49.8 % | 123 / 247 | 60.0 % | 9 / 15 | |
stategraph_split.h |
|
64.3 % | 9 / 14 | 66.7 % | 4 / 6 | |
bqnf_traverser.h |
|
42.0 % | 50 / 119 | 66.7 % | 8 / 12 | |
stategraph_local_reset_variables.h |
|
71.9 % | 115 / 160 | 71.4 % | 15 / 21 | |
stategraph_local_algorithm.h |
|
61.7 % | 369 / 598 | 73.2 % | 30 / 41 | |
pbes_parameter_map.h |
|
83.6 % | 56 / 67 | 75.0 % | 3 / 4 | |
lps2pbes_par.h |
|
77.9 % | 60 / 77 | 75.0 % | 18 / 24 | |
bqnf_visitor.h |
|
51.5 % | 118 / 229 | 76.2 % | 16 / 21 | |
stategraph_algorithm.h |
|
77.8 % | 301 / 387 | 77.3 % | 34 / 44 | |
stategraph_pbes.h |
|
71.5 % | 168 / 235 | 79.5 % | 35 / 44 | |
find_free_variables.h |
|
82.1 % | 32 / 39 | 80.0 % | 8 / 10 | |
ppg_traverser.h |
|
73.7 % | 87 / 118 | 85.7 % | 12 / 14 | |
guard_traverser.h |
|
78.9 % | 112 / 142 | 88.9 % | 16 / 18 | |
pfnf_traverser.h |
|
91.6 % | 152 / 166 | 89.3 % | 25 / 28 | |
occurring_variable_visitor.h |
|
100.0 % | 3 / 3 | 100.0 % | 1 / 1 | |
pbessolve.h |
|
100.0 % | 9 / 9 | 100.0 % | 1 / 1 | |
bes_equation_limit.h |
|
75.0 % | 3 / 4 | 100.0 % | 1 / 1 | |
instantiate_global_variables.h |
|
95.5 % | 21 / 22 | 100.0 % | 2 / 2 | |
parse.h |
|
86.5 % | 64 / 74 | 100.0 % | 2 / 2 | |
parity_game_output.h |
|
93.1 % | 27 / 29 | 100.0 % | 2 / 2 | |
pbes_context.h |
|
94.4 % | 17 / 18 | 100.0 % | 4 / 4 | |
test_utility.h |
|
100.0 % | 10 / 10 | 100.0 % | 5 / 5 | |
normalize_and_or.h |
|
90.6 % | 29 / 32 | 100.0 % | 6 / 6 | |
pbes_property_map.h |
|
97.4 % | 75 / 77 | 100.0 % | 7 / 7 | |
lps2pbes_utility.h |
|
95.7 % | 45 / 47 | 100.0 % | 7 / 7 | |
pfnf_print.h |
|
82.0 % | 41 / 50 | 100.0 % | 8 / 8 | |
term_traits_optimized.h |
|
86.7 % | 26 / 30 | 100.0 % | 8 / 8 | |
pbes_greybox_interface.h |
|
74.0 % | 71 / 96 | 100.0 % | 10 / 10 | |
is_pfnf.h |
|
89.0 % | 65 / 73 | 100.0 % | 14 / 14 |
Generated by: LCOV version 1.14 |