LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers Hit Total Coverage
Test: coverage.info Lines: 12979 15075 86.1 %
Date: 2026-02-27 11:41:18 Functions: 916 1060 86.4 %
Branches: 8946 14004 63.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alpha_equivalence.cpp
98.1%98.1%
 98.1 % 204 / 208 100.0 % 11 / 11 58.0 % 94 / 162
alpha_equivalence.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
bv_inverter.cpp
93.2%93.2%
 93.2 % 204 / 219 100.0 % 8 / 8 69.1 % 221 / 320
bv_inverter.h
100.0%
 100.0 % 5 / 5 80.0 % 4 / 5 - 0 / 0
bv_inverter_utils.cpp
98.9%98.9%
 98.9 % 970 / 981 100.0 % 12 / 12 74.6 % 612 / 820
candidate_rewrite_database.cpp
68.1%68.1%
 68.1 % 98 / 144 57.1 % 4 / 7 47.6 % 40 / 84
candidate_rewrite_database.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
candidate_rewrite_filter.cpp
57.7%57.7%
 57.7 % 79 / 137 80.0 % 4 / 5 33.6 % 37 / 110
candidate_rewrite_filter.h
50.0%50.0%
 50.0 % 2 / 4 50.0 % 1 / 2 - 0 / 0
conjecture_generator.cpp
85.7%85.7%
 85.7 % 1340 / 1563 87.9 % 80 / 91 57.3 % 914 / 1596
conjecture_generator.h
83.3%83.3%
 83.3 % 40 / 48 69.2 % 9 / 13 - 0 / 0
dynamic_rewrite.cpp
82.1%82.1%
 82.1 % 78 / 95 83.3 % 5 / 6 53.6 % 45 / 84
dynamic_rewrite.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
entailment_check.cpp
96.5%96.5%
 96.5 % 191 / 198 100.0 % 12 / 12 77.9 % 201 / 258
equality_query.cpp
78.9%78.9%
 78.9 % 75 / 95 85.7 % 6 / 7 60.8 % 62 / 102
equality_query.h
50.0%50.0%
 50.0 % 1 / 2 50.0 % 1 / 2 - 0 / 0
expr_miner.cpp
100.0%
 100.0 % 35 / 35 100.0 % 5 / 5 71.4 % 10 / 14
expr_miner.h
100.0%
 100.0 % 4 / 4 83.3 % 5 / 6 - 0 / 0
expr_miner_manager.cpp
79.5%79.5%
 79.5 % 31 / 39 80.0 % 4 / 5 45.5 % 10 / 22
expr_miner_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
extended_rewrite.cpp
93.0%93.0%
 93.0 % 1055 / 1135 100.0 % 23 / 23 75.1 % 907 / 1207
extended_rewrite.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
first_order_model.cpp
91.1%91.1%
 91.1 % 174 / 191 84.8 % 28 / 33 69.8 % 81 / 116
first_order_model.h
66.7%66.7%
 66.7 % 4 / 6 66.7 % 4 / 6 - 0 / 0
fun_def_evaluator.cpp
87.5%87.5%
 87.5 % 175 / 200 90.0 % 9 / 10 54.1 % 119 / 220
fun_def_evaluator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
ho_term_database.cpp
93.9%93.9%
 93.9 % 93 / 99 100.0 % 9 / 9 78.8 % 41 / 52
ho_term_database.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
index_trie.cpp
97.9%97.9%
 97.9 % 46 / 47 100.0 % 4 / 4 75.0 % 48 / 64
index_trie.h
100.0%
 100.0 % 8 / 8 100.0 % 4 / 4 - 0 / 0
inst_match.cpp
66.2%66.2%
 66.2 % 43 / 65 72.7 % 8 / 11 43.1 % 31 / 72
inst_match.h
0.0%
 0.0 % 0 / 3 0.0 % 0 / 1 - 0 / 0
inst_match_trie.cpp
62.2%62.2%
 62.2 % 69 / 111 50.0 % 8 / 16 52.6 % 41 / 78
inst_match_trie.h
100.0%
 100.0 % 7 / 7 100.0 % 7 / 7 - 0 / 0
inst_strategy_enumerative.cpp
93.3%93.3%
 93.3 % 83 / 89 85.7 % 6 / 7 70.4 % 76 / 108
inst_strategy_enumerative.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inst_strategy_mbqi.cpp
90.8%90.8%
 90.8 % 347 / 382 85.7 % 12 / 14 66.9 % 238 / 356
inst_strategy_mbqi.h
50.0%50.0%
 50.0 % 1 / 2 66.7 % 2 / 3 - 0 / 0
inst_strategy_pool.cpp
89.1%89.1%
 89.1 % 115 / 129 91.7 % 11 / 12 57.7 % 86 / 149
inst_strategy_pool.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inst_strategy_sub_conflict.cpp
96.3%96.3%
 96.3 % 78 / 81 80.0 % 4 / 5 77.1 % 37 / 48
inst_strategy_sub_conflict.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
instantiate.cpp
79.4%79.4%
 79.4 % 304 / 383 92.3 % 24 / 26 49.7 % 172 / 346
instantiate.h
75.0%75.0%
 75.0 % 3 / 4 60.0 % 3 / 5 - 0 / 0
instantiation_list.cpp
100.0%
 100.0 % 11 / 11 100.0 % 4 / 4 - 0 / 0
instantiation_list.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
lazy_trie.cpp
92.8%92.8%
 92.8 % 77 / 83 100.0 % 4 / 4 53.5 % 46 / 86
lazy_trie.h
100.0%
 100.0 % 4 / 4 80.0 % 4 / 5 - 0 / 0
master_eq_notify.cpp
100.0%
 100.0 % 7 / 7 100.0 % 3 / 3 - 0 / 0
master_eq_notify.h
25.0%25.0%
 25.0 % 2 / 8 25.0 % 1 / 4 - 0 / 0
mbqi_enum.cpp
89.1%89.1%
 89.1 % 155 / 174 100.0 % 10 / 10 53.6 % 74 / 138
mbqi_enum.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
oracle_checker.cpp
45.8%45.8%
 45.8 % 33 / 72 37.5 % 3 / 8 32.0 % 16 / 50
oracle_engine.cpp
82.9%82.9%
 82.9 % 141 / 170 85.7 % 12 / 14 50.0 % 73 / 146
oracle_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
proof_checker.cpp
90.2%90.2%
 90.2 % 83 / 92 100.0 % 3 / 3 47.7 % 61 / 128
quant_bound_inference.cpp
100.0%
 100.0 % 50 / 50 100.0 % 8 / 8 88.9 % 32 / 36
quant_conflict_find.cpp
80.1%80.1%
 80.1 % 1255 / 1567 82.1 % 46 / 56 62.8 % 1039 / 1655
quant_conflict_find.h
100.0%
 100.0 % 16 / 16 100.0 % 13 / 13 - 0 / 0
quant_module.cpp
84.6%84.6%
 84.6 % 22 / 26 84.6 % 11 / 13 - 0 / 0
quant_module.h
84.6%84.6%
 84.6 % 11 / 13 83.3 % 10 / 12 - 0 / 0
quant_relevance.cpp
95.2%95.2%
 95.2 % 20 / 21 100.0 % 4 / 4 90.0 % 9 / 10
quant_relevance.h
33.3%33.3%
 33.3 % 1 / 3 50.0 % 2 / 4 - 0 / 0
quant_rep_bound_ext.cpp
96.2%96.2%
 96.2 % 25 / 26 100.0 % 5 / 5 61.1 % 11 / 18
quant_rep_bound_ext.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
quant_split.cpp
95.7%95.7%
 95.7 % 157 / 164 92.3 % 12 / 13 72.4 % 84 / 116
quant_split.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
quant_util.cpp
38.8%38.8%
 38.8 % 33 / 85 50.0 % 3 / 6 40.0 % 40 / 100
quant_util.h
80.0%80.0%
 80.0 % 4 / 5 66.7 % 4 / 6 - 0 / 0
quantifiers_attributes.cpp
81.7%81.7%
 81.7 % 214 / 262 85.2 % 23 / 27 67.0 % 154 / 230
quantifiers_attributes.h
100.0%
 100.0 % 14 / 14 100.0 % 5 / 5 - 0 / 0
quantifiers_inference_manager.cpp
45.3%45.3%
 45.3 % 24 / 53 87.5 % 7 / 8 16.7 % 4 / 24
quantifiers_macros.cpp
93.1%93.1%
 93.1 % 148 / 159 100.0 % 9 / 9 57.6 % 98 / 170
quantifiers_macros.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
quantifiers_modules.cpp
100.0%
 100.0 % 66 / 66 100.0 % 3 / 3 94.7 % 36 / 38
quantifiers_preprocess.cpp
85.1%85.1%
 85.1 % 126 / 148 100.0 % 4 / 4 58.7 % 74 / 126
quantifiers_registry.cpp
84.0%84.0%
 84.0 % 89 / 106 84.2 % 16 / 19 55.7 % 39 / 70
quantifiers_registry.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
quantifiers_rewriter.cpp
92.9%92.9%
 92.9 % 1356 / 1460 95.5 % 42 / 44 73.3 % 1070 / 1460
quantifiers_state.cpp
68.1%68.1%
 68.1 % 47 / 69 66.7 % 6 / 9 52.2 % 24 / 46
quantifiers_state.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
quantifiers_statistics.cpp
100.0%
 100.0 % 12 / 12 100.0 % 1 / 1 - 0 / 0
query_generator.cpp
60.0%60.0%
 60.0 % 24 / 40 100.0 % 6 / 6 44.4 % 8 / 18
query_generator.h
100.0%
 100.0 % 2 / 2 75.0 % 3 / 4 - 0 / 0
query_generator_sample_sat.cpp
61.5%61.5%
 61.5 % 126 / 205 75.0 % 3 / 4 57.3 % 71 / 124
query_generator_sample_sat.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
query_generator_unsat.cpp
96.7%96.7%
 96.7 % 88 / 91 100.0 % 4 / 4 54.4 % 37 / 68
query_generator_unsat.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
relevant_domain.cpp
98.1%98.1%
 98.1 % 259 / 264 100.0 % 15 / 15 73.1 % 190 / 260
relevant_domain.h
90.9%90.9%
 90.9 % 10 / 11 80.0 % 4 / 5 - 0 / 0
rewrite_verifier.cpp
47.1%47.1%
 47.1 % 33 / 70 100.0 % 3 / 3 42.1 % 16 / 38
rewrite_verifier.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
single_inv_partition.cpp
89.0%89.0%
 89.0 % 300 / 337 83.3 % 15 / 18 65.6 % 202 / 308
single_inv_partition.h
100.0%
 100.0 % 6 / 6 100.0 % 6 / 6 75.0 % 3 / 4
skolemize.cpp
89.5%89.5%
 89.5 % 214 / 239 90.9 % 10 / 11 57.5 % 115 / 200
skolemize.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
solution_filter.cpp
62.3%62.3%
 62.3 % 33 / 53 100.0 % 4 / 4 52.9 % 18 / 34
solution_filter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
sygus_inst.cpp
81.2%81.2%
 81.2 % 234 / 288 88.9 % 16 / 18 54.2 % 117 / 216
sygus_inst.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
sygus_sampler.cpp
85.6%85.6%
 85.6 % 364 / 425 80.0 % 16 / 20 60.9 % 213 / 350
sygus_sampler.h
100.0%
 100.0 % 2 / 2 100.0 % 3 / 3 - 0 / 0
term_database.cpp
86.4%86.4%
 86.4 % 374 / 433 93.5 % 43 / 46 60.0 % 234 / 390
term_database.h
50.0%50.0%
 50.0 % 1 / 2 50.0 % 1 / 2 - 0 / 0
term_enumeration.cpp
57.1%57.1%
 57.1 % 16 / 28 66.7 % 2 / 3 58.3 % 7 / 12
term_enumeration.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
term_pools.cpp
96.3%96.3%
 96.3 % 79 / 82 92.3 % 12 / 13 60.8 % 45 / 74
term_pools.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
term_registry.cpp
90.8%90.8%
 90.8 % 69 / 76 95.5 % 21 / 22 82.4 % 28 / 34
term_tuple_enumerator.cpp
76.0%76.0%
 76.0 % 171 / 225 82.9 % 29 / 35 51.0 % 105 / 206
term_tuple_enumerator.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
term_util.cpp
76.8%76.8%
 76.8 % 239 / 311 88.0 % 22 / 25 73.7 % 317 / 430
theory_quantifiers.cpp
94.9%94.9%
 94.9 % 75 / 79 100.0 % 14 / 14 66.7 % 28 / 42
theory_quantifiers.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 1 - 0 / 0
theory_quantifiers_type_rules.cpp
62.2%62.2%
 62.2 % 69 / 111 58.3 % 7 / 12 52.8 % 85 / 161

Generated by: LCOV version 1.14