LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers Hit Total Coverage
Test: coverage.info Lines: 11826 13722 86.2 %
Date: 2025-01-22 12:40:44 Functions: 908 1043 87.1 %
Branches: 8224 12991 63.3 %

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.7%92.7%
 92.7 % 191 / 206 100.0 % 8 / 8 68.2 % 202 / 296
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 % 838 / 847 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
87.8%87.8%
 87.8 % 1255 / 1429 90.4 % 75 / 83 58.2 % 892 / 1532
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 55.6 % 40 / 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
91.6%91.6%
 91.6 % 856 / 934 100.0 % 23 / 23 71.0 % 702 / 989
extended_rewrite.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
first_order_model.cpp
87.6%87.6%
 87.6 % 156 / 178 81.8 % 27 / 33 68.1 % 79 / 116
first_order_model.h
66.7%66.7%
 66.7 % 4 / 6 66.7 % 4 / 6 - 0 / 0
fun_def_evaluator.cpp
90.4%90.4%
 90.4 % 141 / 156 100.0 % 6 / 6 53.3 % 98 / 184
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 55.1 % 43 / 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
92.4%92.4%
 92.4 % 280 / 303 100.0 % 11 / 11 63.2 % 172 / 272
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
80.2%80.2%
 80.2 % 272 / 339 96.0 % 24 / 25 49.4 % 159 / 322
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 % 4 / 4 100.0 % 2 / 2 - 0 / 0
master_eq_notify.h
28.6%28.6%
 28.6 % 2 / 7 40.0 % 2 / 5 - 0 / 0
mbqi_fast_sygus.cpp
91.4%91.4%
 91.4 % 148 / 162 100.0 % 10 / 10 56.8 % 67 / 118
mbqi_fast_sygus.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
oracle_checker.cpp
43.8%43.8%
 43.8 % 28 / 64 37.5 % 3 / 8 31.8 % 14 / 44
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.6%89.6%
 89.6 % 69 / 77 100.0 % 3 / 3 47.4 % 54 / 114
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.5%96.5%
 96.5 % 139 / 144 91.7 % 11 / 12 70.4 % 76 / 108
quant_split.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
quant_util.cpp
85.9%85.9%
 85.9 % 73 / 85 100.0 % 6 / 6 83.0 % 83 / 100
quant_util.h
83.3%83.3%
 83.3 % 5 / 6 71.4 % 5 / 7 - 0 / 0
quantifiers_attributes.cpp
84.9%84.9%
 84.9 % 208 / 245 88.9 % 24 / 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 56.6 % 69 / 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
89.1%89.1%
 89.1 % 1142 / 1281 92.7 % 38 / 41 70.6 % 863 / 1222
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
92.2%92.2%
 92.2 % 178 / 193 100.0 % 4 / 4 68.7 % 103 / 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 % 244 / 249 100.0 % 15 / 15 73.2 % 186 / 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
92.8%92.8%
 92.8 % 194 / 209 100.0 % 11 / 11 58.2 % 113 / 194
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.3%81.3%
 81.3 % 218 / 268 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.6%87.6%
 87.6 % 352 / 402 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
86.3%86.3%
 86.3 % 353 / 409 93.3 % 42 / 45 60.3 % 229 / 380
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.3%91.3%
 91.3 % 63 / 69 94.7 % 18 / 19 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
79.0%79.0%
 79.0 % 263 / 333 90.3 % 28 / 31 74.8 % 332 / 444
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