LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/sygus Hit Total Coverage
Test: coverage.info Lines: 9417 11010 85.5 %
Date: 2026-04-09 10:29:23 Functions: 650 726 89.5 %
Branches: 5802 10048 57.7 %

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
92.8%92.8%
 92.8 % 296 / 319 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 % 16 / 16 68.4 % 282 / 412
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 % 4 / 4 100.0 % 5 / 5 - 0 / 0
cegis_unif.cpp
84.8%84.8%
 84.8 % 307 / 362 100.0 % 18 / 18 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.5%64.5%
 64.5 % 238 / 369 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
97.9%97.9%
 97.9 % 47 / 48 100.0 % 10 / 10 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 60.9 % 67 / 110
sygus_enumerator.cpp
96.2%96.2%
 96.2 % 678 / 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 % 5 / 5 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 % 5 / 5 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 89.5 % 17 / 19 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 % 479 / 583 84.6 % 11 / 13 65.6 % 311 / 474
sygus_grammar_norm.cpp
58.2%58.2%
 58.2 % 160 / 275 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
86.1%86.1%
 86.1 % 118 / 137 100.0 % 7 / 7 58.0 % 80 / 138
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 % 135 / 136 100.0 % 7 / 7 60.3 % 82 / 136
sygus_process_conj.cpp
90.8%90.8%
 90.8 % 377 / 415 83.3 % 20 / 24 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 % 80 / 83 100.0 % 2 / 2 52.6 % 41 / 78
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.3%91.3%
 91.3 % 262 / 287 85.7 % 12 / 14 73.5 % 125 / 170
sygus_repair_const.cpp
81.2%81.2%
 81.2 % 182 / 224 100.0 % 11 / 11 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.9 % 31 / 32 60.8 % 578 / 950
sygus_unif_io.h
100.0%
 100.0 % 10 / 10 100.0 % 7 / 7 75.0 % 3 / 4
sygus_unif_rl.cpp
65.1%65.1%
 65.1 % 436 / 670 80.6 % 29 / 36 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 75.0 % 18 / 24 51.2 % 297 / 580
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 96.2 % 25 / 26 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.8 % 45 / 49 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