LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/sygus Hit Total Coverage
Test: coverage.info Lines: 8793 10263 85.7 %
Date: 2024-11-17 12:40:58 Functions: 631 705 89.5 %
Branches: 5418 9541 56.8 %

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

Generated by: LCOV version 1.14