LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers Hit Total Coverage
Test: coverage.info Lines: 13362 15510 86.2 %
Date: 2026-04-18 10:29:03 Functions: 946 1089 86.9 %
Branches: 9121 14286 63.8 %

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.1%93.1%
 93.1 % 202 / 217 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 % 988 / 999 100.0 % 12 / 12 72.9 % 644 / 884
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 66.7 % 4 / 6 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
84.7%84.7%
 84.7 % 1418 / 1675 88.3 % 83 / 94 56.8 % 915 / 1610
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.1%78.1%
 78.1 % 75 / 96 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 % 1057 / 1137 100.0 % 24 / 24 75.1 % 907 / 1207
extended_rewrite.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
first_order_model.cpp
91.2%91.2%
 91.2 % 176 / 193 84.8 % 28 / 33 69.8 % 81 / 116
first_order_model.h
71.4%71.4%
 71.4 % 5 / 7 66.7 % 4 / 6 50.0 % 1 / 2
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
94.3%94.3%
 94.3 % 367 / 389 100.0 % 15 / 15 69.3 % 259 / 374
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.6%79.6%
 79.6 % 304 / 382 92.6 % 25 / 27 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 % 8 / 8 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
95.0%95.0%
 95.0 % 343 / 361 100.0 % 20 / 20 61.0 % 178 / 292
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 44.4 % 4 / 9 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.0%80.0%
 80.0 % 1287 / 1608 82.1 % 46 / 56 62.5 % 1041 / 1665
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.8%95.8%
 95.8 % 159 / 166 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
34.7%34.7%
 34.7 % 33 / 95 50.0 % 3 / 6 38.5 % 40 / 104
quant_util.h
80.0%80.0%
 80.0 % 4 / 5 66.7 % 4 / 6 - 0 / 0
quantifiers_attributes.cpp
81.0%81.0%
 81.0 % 221 / 273 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 % 10 / 10 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.4%92.4%
 92.4 % 1383 / 1497 95.7 % 44 / 46 73.3 % 1073 / 1464
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.2%98.2%
 98.2 % 267 / 272 100.0 % 18 / 18 73.3 % 195 / 266
relevant_domain.h
90.9%90.9%
 90.9 % 10 / 11 80.0 % 4 / 5 - 0 / 0
rewrite_verifier.cpp
48.6%48.6%
 48.6 % 34 / 70 100.0 % 3 / 3 50.0 % 19 / 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 91.7 % 11 / 12 56.9 % 115 / 202
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.1 % 119 / 220
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
85.9%85.9%
 85.9 % 372 / 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.9 % 13 / 14 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
75.9%75.9%
 75.9 % 170 / 224 83.3 % 30 / 36 51.0 % 105 / 206
term_tuple_enumerator.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
term_util.cpp
77.5%77.5%
 77.5 % 241 / 311 88.0 % 22 / 25 74.0 % 318 / 430
theory_quantifiers.cpp
94.9%94.9%
 94.9 % 74 / 78 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 64.3 % 9 / 14 52.8 % 85 / 161

Generated by: LCOV version 1.14