LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Filename | Line Coverage | Functions | Branches | |||||
ce_guided_single_inv.cpp |
|
93.5 % | 273 / 292 | 100.0 % | 13 / 13 | 61.4 % | 172 / 280 | |
ce_guided_single_inv.h |
|
100.0 % | 2 / 2 | 100.0 % | 2 / 2 | - | 0 / 0 | |
cegis.cpp |
|
93.8 % | 366 / 390 | 100.0 % | 15 / 15 | 66.2 % | 249 / 376 | |
cegis.h |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | - | 0 / 0 | |
cegis_core_connective.cpp |
|
94.1 % | 415 / 441 | 94.1 % | 16 / 17 | 62.4 % | 281 / 450 | |
cegis_core_connective.h |
|
100.0 % | 4 / 4 | 100.0 % | 5 / 5 | - | 0 / 0 | |
cegis_unif.cpp |
|
85.1 % | 285 / 335 | 100.0 % | 17 / 17 | 54.0 % | 174 / 322 | |
cegis_unif.h |
|
33.3 % | 1 / 3 | 50.0 % | 1 / 2 | - | 0 / 0 | |
embedding_converter.cpp |
|
99.5 % | 218 / 219 | 100.0 % | 6 / 6 | 63.6 % | 131 / 206 | |
embedding_converter.h |
|
100.0 % | 2 / 2 | 100.0 % | 3 / 3 | - | 0 / 0 | |
enum_stream_substitution.cpp |
|
66.1 % | 228 / 345 | 92.0 % | 23 / 25 | 44.1 % | 119 / 270 | |
enum_stream_substitution.h |
|
100.0 % | 2 / 2 | 50.0 % | 2 / 4 | - | 0 / 0 | |
enum_val_generator.h |
|
100.0 % | 2 / 2 | 66.7 % | 2 / 3 | - | 0 / 0 | |
enum_value_manager.cpp |
|
81.1 % | 90 / 111 | 100.0 % | 7 / 7 | 57.6 % | 68 / 118 | |
example_eval_cache.cpp |
|
97.9 % | 46 / 47 | 100.0 % | 9 / 9 | 53.1 % | 17 / 32 | |
example_infer.cpp |
|
84.3 % | 102 / 121 | 100.0 % | 10 / 10 | 55.4 % | 72 / 130 | |
example_min_eval.cpp |
|
100.0 % | 29 / 29 | 100.0 % | 3 / 3 | 62.5 % | 15 / 24 | |
example_min_eval.h |
|
100.0 % | 5 / 5 | 71.4 % | 5 / 7 | - | 0 / 0 | |
print_sygus_to_builtin.cpp |
|
97.4 % | 38 / 39 | 100.0 % | 1 / 1 | 47.7 % | 21 / 44 | |
rcons_obligation.cpp |
|
29.1 % | 16 / 55 | 63.6 % | 7 / 11 | 0.0 % | 0 / 24 | |
rcons_type_info.cpp |
|
90.0 % | 36 / 40 | 100.0 % | 5 / 5 | 50.0 % | 7 / 14 | |
sygus_abduct.cpp |
|
97.6 % | 83 / 85 | 50.0 % | 1 / 2 | 61.2 % | 60 / 98 | |
sygus_enumerator.cpp |
|
96.5 % | 628 / 651 | 100.0 % | 48 / 48 | 59.4 % | 334 / 562 | |
sygus_enumerator.h |
|
100.0 % | 4 / 4 | 83.3 % | 5 / 6 | - | 0 / 0 | |
sygus_enumerator_callback.cpp |
|
96.8 % | 30 / 31 | 100.0 % | 4 / 4 | 66.7 % | 16 / 24 | |
sygus_enumerator_callback.h |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | - | 0 / 0 | |
sygus_eval_unfold.cpp |
|
87.3 % | 165 / 189 | 100.0 % | 4 / 4 | 51.6 % | 95 / 184 | |
sygus_eval_unfold.h |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | - | 0 / 0 | |
sygus_explain.cpp |
|
94.0 % | 157 / 167 | 88.2 % | 15 / 17 | 49.0 % | 99 / 202 | |
sygus_explain.h |
|
100.0 % | 2 / 2 | 100.0 % | 3 / 3 | - | 0 / 0 | |
sygus_grammar_cons.cpp |
|
87.7 % | 422 / 481 | 91.7 % | 11 / 12 | 69.6 % | 291 / 418 | |
sygus_grammar_norm.cpp |
|
57.0 % | 150 / 263 | 84.6 % | 11 / 13 | 33.1 % | 78 / 236 | |
sygus_grammar_norm.h |
|
31.2 % | 5 / 16 | 50.0 % | 4 / 8 | 0.0 % | 0 / 2 | |
sygus_grammar_red.cpp |
|
98.7 % | 78 / 79 | 100.0 % | 4 / 4 | 61.9 % | 52 / 84 | |
sygus_grammar_red.h |
|
100.0 % | 2 / 2 | 66.7 % | 2 / 3 | - | 0 / 0 | |
sygus_interpol.cpp |
|
82.9 % | 170 / 205 | 100.0 % | 10 / 10 | 52.8 % | 93 / 176 | |
sygus_invariance.cpp |
|
84.4 % | 108 / 128 | 100.0 % | 6 / 6 | 50.9 % | 59 / 116 | |
sygus_invariance.h |
|
100.0 % | 20 / 20 | 90.0 % | 9 / 10 | 100.0 % | 2 / 2 | |
sygus_module.cpp |
|
100.0 % | 4 / 4 | 100.0 % | 1 / 1 | - | 0 / 0 | |
sygus_module.h |
|
60.0 % | 3 / 5 | 60.0 % | 3 / 5 | - | 0 / 0 | |
sygus_pbe.cpp |
|
99.2 % | 123 / 124 | 100.0 % | 7 / 7 | 58.5 % | 76 / 130 | |
sygus_process_conj.cpp |
|
90.2 % | 359 / 398 | 82.6 % | 19 / 23 | 59.8 % | 232 / 388 | |
sygus_process_conj.h |
|
100.0 % | 2 / 2 | 66.7 % | 2 / 3 | - | 0 / 0 | |
sygus_qe_preproc.cpp |
|
96.3 % | 78 / 81 | 100.0 % | 2 / 2 | 52.7 % | 39 / 74 | |
sygus_qe_preproc.h |
|
100.0 % | 1 / 1 | 50.0 % | 1 / 2 | - | 0 / 0 | |
sygus_random_enumerator.cpp |
|
0.0 % | 0 / 84 | 0.0 % | 0 / 4 | 0.0 % | 0 / 22 | |
sygus_random_enumerator.h |
|
0.0 % | 0 / 5 | 0.0 % | 0 / 3 | - | 0 / 0 | |
sygus_reconstruct.cpp |
|
90.5 % | 239 / 264 | 85.7 % | 12 / 14 | 72.9 % | 121 / 166 | |
sygus_repair_const.cpp |
|
81.8 % | 171 / 209 | 100.0 % | 10 / 10 | 50.5 % | 104 / 206 | |
sygus_repair_const.h |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | - | 0 / 0 | |
sygus_stats.cpp |
|
100.0 % | 7 / 7 | 100.0 % | 1 / 1 | - | 0 / 0 | |
sygus_unif.cpp |
|
91.2 % | 52 / 57 | 90.0 % | 9 / 10 | 55.8 % | 29 / 52 | |
sygus_unif_io.cpp |
|
89.7 % | 740 / 825 | 96.6 % | 28 / 29 | 60.2 % | 543 / 902 | |
sygus_unif_io.h |
|
100.0 % | 10 / 10 | 100.0 % | 7 / 7 | 75.0 % | 3 / 4 | |
sygus_unif_rl.cpp |
|
65.0 % | 413 / 635 | 80.0 % | 28 / 35 | 42.5 % | 234 / 550 | |
sygus_unif_rl.h |
|
100.0 % | 6 / 6 | 100.0 % | 4 / 4 | - | 0 / 0 | |
sygus_unif_strat.cpp |
|
77.6 % | 446 / 575 | 78.3 % | 18 / 23 | 51.6 % | 290 / 562 | |
sygus_unif_strat.h |
|
100.0 % | 12 / 12 | 91.7 % | 11 / 12 | - | 0 / 0 | |
sygus_utils.cpp |
|
80.8 % | 84 / 104 | 83.3 % | 10 / 12 | 54.7 % | 47 / 86 | |
synth_conjecture.cpp |
|
93.2 % | 552 / 592 | 95.7 % | 22 / 23 | 58.7 % | 339 / 578 | |
synth_conjecture.h |
|
100.0 % | 5 / 5 | 100.0 % | 5 / 5 | - | 0 / 0 | |
synth_engine.cpp |
|
95.3 % | 102 / 107 | 92.9 % | 13 / 14 | 69.8 % | 60 / 86 | |
synth_finder.cpp |
|
92.4 % | 85 / 92 | 87.5 % | 7 / 8 | 61.9 % | 52 / 84 | |
synth_finder.h |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | - | 0 / 0 | |
synth_verify.cpp |
|
83.0 % | 73 / 88 | 83.3 % | 5 / 6 | 52.1 % | 49 / 94 | |
template_infer.cpp |
|
96.9 % | 94 / 97 | 100.0 % | 4 / 4 | 54.8 % | 57 / 104 | |
template_infer.h |
|
100.0 % | 1 / 1 | 100.0 % | 2 / 2 | - | 0 / 0 | |
term_database_sygus.cpp |
|
86.9 % | 426 / 490 | 91.5 % | 43 / 47 | 56.9 % | 286 / 503 | |
term_database_sygus.h |
|
100.0 % | 5 / 5 | 100.0 % | 6 / 6 | - | 0 / 0 | |
transition_inference.cpp |
|
95.0 % | 286 / 301 | 100.0 % | 20 / 20 | 65.8 % | 204 / 310 | |
transition_inference.h |
|
100.0 % | 8 / 8 | 100.0 % | 6 / 6 | - | 0 / 0 | |
type_info.cpp |
|
83.5 % | 203 / 243 | 80.0 % | 24 / 30 | 58.8 % | 140 / 238 | |
type_node_id_trie.cpp |
|
100.0 % | 14 / 14 | 100.0 % | 2 / 2 | 100.0 % | 8 / 8 |
Generated by: LCOV version 1.14 |