LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers Hit Total Coverage
Test: coverage.info Lines: 11514 13389 86.0 %
Date: 2024-09-21 10:47:20 Functions: 894 1028 87.0 %
Branches: 8052 12712 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.7%97.7%
 97.7 % 130 / 133 100.0 % 10 / 10 64.2 % 68 / 106
alpha_equivalence.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
bv_inverter.cpp
92.8%92.8%
 92.8 % 193 / 208 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 % 839 / 848 100.0 % 12 / 12 73.8 % 543 / 736
candidate_rewrite_database.cpp
65.9%65.9%
 65.9 % 85 / 129 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 % 1258 / 1432 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.7%80.7%
 80.7 % 71 / 88 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 % 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
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
93.5%93.5%
 93.5 % 828 / 886 100.0 % 23 / 23 72.6 % 693 / 955
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
88.2%88.2%
 88.2 % 82 / 93 100.0 % 9 / 9 75.0 % 39 / 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.3%92.3%
 92.3 % 277 / 300 100.0 % 11 / 11 63.4 % 170 / 268
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
95.8%95.8%
 95.8 % 69 / 72 80.0 % 4 / 5 78.9 % 30 / 38
inst_strategy_sub_conflict.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
instantiate.cpp
80.5%80.5%
 80.5 % 272 / 338 96.0 % 24 / 25 49.7 % 159 / 320
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.3%91.3%
 91.3 % 147 / 161 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.1%82.1%
 82.1 % 128 / 156 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
91.8%91.8%
 91.8 % 56 / 61 100.0 % 3 / 3 48.9 % 45 / 92
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
99.0%99.0%
 99.0 % 104 / 105 100.0 % 5 / 5 67.7 % 65 / 96
quant_split.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
quant_util.cpp
82.4%82.4%
 82.4 % 70 / 85 100.0 % 6 / 6 76.0 % 76 / 100
quant_util.h
83.3%83.3%
 83.3 % 5 / 6 71.4 % 5 / 7 - 0 / 0
quantifiers_attributes.cpp
85.5%85.5%
 85.5 % 213 / 249 88.5 % 23 / 26 66.4 % 154 / 232
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
79.9%79.9%
 79.9 % 107 / 134 100.0 % 4 / 4 52.5 % 64 / 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
88.2%88.2%
 88.2 % 994 / 1127 92.5 % 37 / 40 70.5 % 773 / 1097
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 % 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 % 285 / 321 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.4%92.4%
 92.4 % 195 / 211 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.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.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.2%86.2%
 86.2 % 324 / 376 95.0 % 38 / 40 61.0 % 210 / 344
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
78.4%78.4%
 78.4 % 261 / 333 87.1 % 27 / 31 75.2 % 334 / 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