LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers Hit Total Coverage
Test: coverage.info Lines: 12059 14044 85.9 %
Date: 2026-01-23 12:59:45 Functions: 915 1060 86.3 %
Branches: 8366 13275 63.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
alpha_equivalence.cpp
97.8%97.8%
 97.8 % 182 / 186 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
92.8%92.8%
 92.8 % 192 / 207 100.0 % 8 / 8 67.7 % 199 / 294
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 % 840 / 849 100.0 % 12 / 12 73.8 % 543 / 736
candidate_rewrite_database.cpp
65.6%65.6%
 65.6 % 84 / 128 57.1 % 4 / 7 47.6 % 39 / 82
candidate_rewrite_database.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
candidate_rewrite_filter.cpp
55.6%55.6%
 55.6 % 69 / 124 80.0 % 4 / 5 34.3 % 37 / 108
candidate_rewrite_filter.h
50.0%50.0%
 50.0 % 2 / 4 50.0 % 1 / 2 - 0 / 0
conjecture_generator.cpp
85.8%85.8%
 85.8 % 1282 / 1494 87.9 % 80 / 91 57.0 % 876 / 1536
conjecture_generator.h
82.9%82.9%
 82.9 % 34 / 41 69.2 % 9 / 13 - 0 / 0
dynamic_rewrite.cpp
80.5%80.5%
 80.5 % 70 / 87 83.3 % 5 / 6 54.2 % 39 / 72
dynamic_rewrite.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
entailment_check.cpp
96.2%96.2%
 96.2 % 175 / 182 100.0 % 12 / 12 76.6 % 187 / 244
equality_query.cpp
77.5%77.5%
 77.5 % 69 / 89 85.7 % 6 / 7 60.2 % 59 / 98
equality_query.h
50.0%50.0%
 50.0 % 1 / 2 50.0 % 1 / 2 - 0 / 0
expr_miner.cpp
100.0%
 100.0 % 33 / 33 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
77.8%77.8%
 77.8 % 28 / 36 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
92.7%92.7%
 92.7 % 951 / 1026 100.0 % 23 / 23 72.9 % 779 / 1069
extended_rewrite.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
first_order_model.cpp
90.4%90.4%
 90.4 % 161 / 178 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.1%87.1%
 87.1 % 169 / 194 90.0 % 9 / 10 52.8 % 113 / 214
fun_def_evaluator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
ho_term_database.cpp
93.4%93.4%
 93.4 % 85 / 91 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.8%97.8%
 97.8 % 45 / 46 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
61.5%61.5%
 61.5 % 67 / 109 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.0%93.0%
 93.0 % 80 / 86 85.7 % 6 / 7 70.8 % 75 / 106
inst_strategy_enumerative.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inst_strategy_mbqi.cpp
89.5%89.5%
 89.5 % 325 / 363 85.7 % 12 / 14 62.8 % 196 / 312
inst_strategy_mbqi.h
50.0%50.0%
 50.0 % 1 / 2 66.7 % 2 / 3 - 0 / 0
inst_strategy_pool.cpp
88.3%88.3%
 88.3 % 106 / 120 91.7 % 11 / 12 56.7 % 76 / 134
inst_strategy_pool.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
inst_strategy_sub_conflict.cpp
96.1%96.1%
 96.1 % 74 / 77 80.0 % 4 / 5 81.0 % 34 / 42
inst_strategy_sub_conflict.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
instantiate.cpp
78.6%78.6%
 78.6 % 282 / 359 92.3 % 24 / 26 49.1 % 166 / 338
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
93.5%93.5%
 93.5 % 72 / 77 100.0 % 4 / 4 52.4 % 44 / 84
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
16.7%16.7%
 16.7 % 1 / 6 25.0 % 1 / 4 - 0 / 0
mbqi_enum.cpp
89.0%89.0%
 89.0 % 146 / 164 100.0 % 10 / 10 53.3 % 65 / 122
mbqi_enum.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
oracle_checker.cpp
45.5%45.5%
 45.5 % 30 / 66 37.5 % 3 / 8 34.8 % 16 / 46
oracle_engine.cpp
82.6%82.6%
 82.6 % 128 / 155 85.7 % 12 / 14 50.0 % 71 / 142
oracle_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
proof_checker.cpp
89.4%89.4%
 89.4 % 76 / 85 100.0 % 3 / 3 47.6 % 60 / 126
quant_bound_inference.cpp
100.0%
 100.0 % 48 / 48 100.0 % 8 / 8 88.9 % 32 / 36
quant_conflict_find.cpp
79.5%79.5%
 79.5 % 1193 / 1500 82.1 % 46 / 56 62.5 % 1012 / 1620
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
83.3%83.3%
 83.3 % 10 / 12 83.3 % 10 / 12 - 0 / 0
quant_relevance.cpp
95.0%95.0%
 95.0 % 19 / 20 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
96.1%96.1%
 96.1 % 146 / 152 92.3 % 12 / 13 70.9 % 78 / 110
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
82.0%82.0%
 82.0 % 201 / 245 85.2 % 23 / 27 66.2 % 143 / 216
quantifiers_attributes.h
100.0%
 100.0 % 8 / 8 100.0 % 5 / 5 - 0 / 0
quantifiers_inference_manager.cpp
43.1%43.1%
 43.1 % 22 / 51 87.5 % 7 / 8 16.7 % 4 / 24
quantifiers_macros.cpp
92.5%92.5%
 92.5 % 136 / 147 100.0 % 9 / 9 57.9 % 88 / 152
quantifiers_macros.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
quantifiers_modules.cpp
100.0%
 100.0 % 54 / 54 100.0 % 3 / 3 94.7 % 36 / 38
quantifiers_preprocess.cpp
84.4%84.4%
 84.4 % 114 / 135 100.0 % 4 / 4 59.0 % 72 / 122
quantifiers_registry.cpp
83.3%83.3%
 83.3 % 85 / 102 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.5%92.5%
 92.5 % 1239 / 1340 95.5 % 42 / 44 71.9 % 960 / 1336
quantifiers_state.cpp
67.7%67.7%
 67.7 % 44 / 65 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
62.2%62.2%
 62.2 % 23 / 37 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
91.7%91.7%
 91.7 % 177 / 193 100.0 % 4 / 4 68.0 % 102 / 150
query_generator_sample_sat.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
query_generator_unsat.cpp
96.5%96.5%
 96.5 % 82 / 85 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.0%98.0%
 98.0 % 245 / 250 100.0 % 15 / 15 72.8 % 185 / 254
relevant_domain.h
90.9%90.9%
 90.9 % 10 / 11 80.0 % 4 / 5 - 0 / 0
rewrite_verifier.cpp
1.5%1.5%
 1.5 % 1 / 66 33.3 % 1 / 3 0.0 % 0 / 32
rewrite_verifier.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
single_inv_partition.cpp
88.8%88.8%
 88.8 % 284 / 320 83.3 % 15 / 18 65.1 % 198 / 304
single_inv_partition.h
100.0%
 100.0 % 6 / 6 100.0 % 6 / 6 75.0 % 3 / 4
skolemize.cpp
89.2%89.2%
 89.2 % 190 / 213 90.9 % 10 / 11 57.1 % 113 / 198
skolemize.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
solution_filter.cpp
64.6%64.6%
 64.6 % 31 / 48 100.0 % 4 / 4 42.9 % 12 / 28
solution_filter.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
sygus_inst.cpp
81.4%81.4%
 81.4 % 219 / 269 88.9 % 16 / 18 51.0 % 103 / 202
sygus_inst.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
sygus_sampler.cpp
87.5%87.5%
 87.5 % 351 / 401 80.0 % 16 / 20 63.3 % 209 / 330
sygus_sampler.h
100.0%
 100.0 % 2 / 2 100.0 % 3 / 3 - 0 / 0
term_database.cpp
85.9%85.9%
 85.9 % 348 / 405 93.5 % 43 / 46 59.3 % 224 / 378
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.1%96.1%
 96.1 % 74 / 77 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
91.9%91.9%
 91.9 % 68 / 74 95.5 % 21 / 22 82.4 % 28 / 34
term_tuple_enumerator.cpp
74.9%74.9%
 74.9 % 161 / 215 82.9 % 29 / 35 50.5 % 102 / 202
term_tuple_enumerator.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
term_util.cpp
76.3%76.3%
 76.3 % 222 / 291 88.0 % 22 / 25 73.8 % 313 / 424
theory_quantifiers.cpp
94.6%94.6%
 94.6 % 70 / 74 100.0 % 14 / 14 65.0 % 26 / 40
theory_quantifiers.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 1 - 0 / 0
theory_quantifiers_type_rules.cpp
60.2%60.2%
 60.2 % 62 / 103 58.3 % 7 / 12 52.1 % 73 / 140

Generated by: LCOV version 1.14