LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/sygus Hit Total Coverage
Test: coverage.info Lines: 9412 10999 85.6 %
Date: 2026-02-23 11:51:46 Functions: 631 705 89.5 %
Branches: 5778 10000 57.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.3%93.3%
 93.3 % 294 / 315 100.0 % 13 / 13 62.0 % 176 / 284
ce_guided_single_inv.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
cegis.cpp
94.7%94.7%
 94.7 % 407 / 430 100.0 % 15 / 15 68.6 % 280 / 408
cegis.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
cegis_core_connective.cpp
94.0%94.0%
 94.0 % 436 / 464 94.1 % 16 / 17 65.8 % 331 / 503
cegis_core_connective.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
cegis_unif.cpp
84.8%84.8%
 84.8 % 307 / 362 100.0 % 17 / 17 55.1 % 183 / 332
cegis_unif.h
33.3%33.3%
 33.3 % 1 / 3 50.0 % 1 / 2 - 0 / 0
embedding_converter.cpp
98.7%98.7%
 98.7 % 234 / 237 100.0 % 6 / 6 66.7 % 152 / 228
embedding_converter.h
100.0%
 100.0 % 2 / 2 100.0 % 3 / 3 - 0 / 0
enum_stream_substitution.cpp
64.7%64.7%
 64.7 % 238 / 368 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
82.1%82.1%
 82.1 % 96 / 117 100.0 % 7 / 7 57.5 % 69 / 120
example_eval_cache.cpp
98.0%98.0%
 98.0 % 48 / 49 100.0 % 9 / 9 53.1 % 17 / 32
example_infer.cpp
83.7%83.7%
 83.7 % 103 / 123 100.0 % 10 / 10 56.7 % 76 / 134
example_min_eval.cpp
100.0%
 100.0 % 30 / 30 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.6%97.6%
 97.6 % 41 / 42 100.0 % 1 / 1 47.7 % 21 / 44
rcons_obligation.cpp
27.3%27.3%
 27.3 % 15 / 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.7%97.7%
 97.7 % 86 / 88 50.0 % 1 / 2 61.3 % 65 / 106
sygus_enumerator.cpp
96.5%96.5%
 96.5 % 680 / 705 100.0 % 48 / 48 59.8 % 342 / 572
sygus_enumerator.h
100.0%
 100.0 % 4 / 4 83.3 % 5 / 6 - 0 / 0
sygus_enumerator_callback.cpp
97.0%97.0%
 97.0 % 32 / 33 100.0 % 4 / 4 69.2 % 18 / 26
sygus_enumerator_callback.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
sygus_eval_unfold.cpp
87.7%87.7%
 87.7 % 179 / 204 100.0 % 4 / 4 53.1 % 102 / 192
sygus_eval_unfold.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
sygus_explain.cpp
93.9%93.9%
 93.9 % 168 / 179 88.2 % 15 / 17 50.9 % 111 / 218
sygus_explain.h
100.0%
 100.0 % 2 / 2 100.0 % 3 / 3 - 0 / 0
sygus_grammar_cons.cpp
82.2%82.2%
 82.2 % 476 / 579 91.7 % 11 / 12 65.7 % 306 / 466
sygus_grammar_norm.cpp
58.3%58.3%
 58.3 % 161 / 276 84.6 % 11 / 13 33.6 % 84 / 250
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.8%98.8%
 98.8 % 82 / 83 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.0%82.0%
 82.0 % 182 / 222 100.0 % 10 / 10 54.3 % 101 / 186
sygus_invariance.cpp
85.4%85.4%
 85.4 % 117 / 137 100.0 % 6 / 6 58.1 % 79 / 136
sygus_invariance.h
100.0%
 100.0 % 21 / 21 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.3%99.3%
 99.3 % 134 / 135 100.0 % 7 / 7 60.3 % 82 / 136
sygus_process_conj.cpp
90.6%90.6%
 90.6 % 376 / 415 82.6 % 19 / 23 60.0 % 234 / 390
sygus_process_conj.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
sygus_qe_preproc.cpp
96.4%96.4%
 96.4 % 81 / 84 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 / 90 0.0 % 0 / 4 0.0 % 0 / 26
sygus_random_enumerator.h
0.0%
 0.0 % 0 / 5 0.0 % 0 / 3 - 0 / 0
sygus_reconstruct.cpp
91.2%91.2%
 91.2 % 259 / 284 85.7 % 12 / 14 73.5 % 125 / 170
sygus_repair_const.cpp
81.2%81.2%
 81.2 % 182 / 224 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
89.8%89.8%
 89.8 % 53 / 59 90.0 % 9 / 10 55.8 % 29 / 52
sygus_unif_io.cpp
90.2%90.2%
 90.2 % 791 / 877 96.6 % 28 / 29 61.1 % 568 / 930
sygus_unif_io.h
100.0%
 100.0 % 10 / 10 100.0 % 7 / 7 75.0 % 3 / 4
sygus_unif_rl.cpp
65.3%65.3%
 65.3 % 436 / 668 80.0 % 28 / 35 43.7 % 257 / 588
sygus_unif_rl.h
100.0%
 100.0 % 9 / 9 100.0 % 4 / 4 - 0 / 0
sygus_unif_strat.cpp
77.9%77.9%
 77.9 % 466 / 598 78.3 % 18 / 23 51.4 % 295 / 574
sygus_unif_strat.h
100.0%
 100.0 % 12 / 12 91.7 % 11 / 12 - 0 / 0
sygus_utils.cpp
79.1%79.1%
 79.1 % 91 / 115 83.3 % 10 / 12 54.7 % 47 / 86
synth_conjecture.cpp
93.3%93.3%
 93.3 % 609 / 653 95.7 % 22 / 23 61.7 % 385 / 624
synth_conjecture.h
100.0%
 100.0 % 5 / 5 100.0 % 5 / 5 - 0 / 0
synth_engine.cpp
95.7%95.7%
 95.7 % 111 / 116 92.9 % 13 / 14 69.2 % 72 / 104
synth_finder.cpp
90.8%90.8%
 90.8 % 89 / 98 87.5 % 7 / 8 61.4 % 54 / 88
synth_finder.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
synth_verify.cpp
83.9%83.9%
 83.9 % 78 / 93 83.3 % 5 / 6 52.1 % 49 / 94
template_infer.cpp
97.0%97.0%
 97.0 % 96 / 99 100.0 % 4 / 4 56.5 % 61 / 108
template_infer.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
term_database_sygus.cpp
87.3%87.3%
 87.3 % 452 / 518 91.5 % 43 / 47 57.1 % 292 / 511
term_database_sygus.h
100.0%
 100.0 % 5 / 5 100.0 % 6 / 6 - 0 / 0
transition_inference.cpp
95.3%95.3%
 95.3 % 303 / 318 100.0 % 20 / 20 68.2 % 225 / 330
transition_inference.h
100.0%
 100.0 % 8 / 8 100.0 % 6 / 6 - 0 / 0
type_info.cpp
84.5%84.5%
 84.5 % 218 / 258 80.0 % 24 / 30 58.8 % 141 / 240
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