LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory Hit Total Coverage
Test: coverage.info Lines: 8945 10417 85.9 %
Date: 2026-03-11 10:41:32 Functions: 967 1112 87.0 %
Branches: 5442 8471 64.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
assertion.cpp
0.0%
 0.0 % 0 / 2 0.0 % 0 / 1 - 0 / 0
assertion.h
80.0%80.0%
 80.0 % 4 / 5 66.7 % 2 / 3 - 0 / 0
atom_requests.cpp
87.9%87.9%
 87.9 % 29 / 33 87.5 % 7 / 8 50.0 % 6 / 12
atom_requests.h
100.0%
 100.0 % 10 / 10 100.0 % 6 / 6 75.0 % 3 / 4
care_graph.h
100.0%
 100.0 % 9 / 9 100.0 % 2 / 2 100.0 % 12 / 12
care_pair_argument_callback.cpp
100.0%
 100.0 % 10 / 10 100.0 % 3 / 3 100.0 % 8 / 8
care_pair_argument_callback.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
combination_care_graph.cpp
94.3%94.3%
 94.3 % 33 / 35 100.0 % 5 / 5 71.4 % 10 / 14
combination_engine.cpp
96.1%96.1%
 96.1 % 49 / 51 91.7 % 11 / 12 43.8 % 7 / 16
conflict_processor.cpp
73.8%73.8%
 73.8 % 158 / 214 100.0 % 7 / 7 50.3 % 88 / 175
conflict_processor.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
decision_manager.cpp
97.9%97.9%
 97.9 % 47 / 48 100.0 % 4 / 4 62.0 % 31 / 50
decision_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
decision_strategy.cpp
97.3%97.3%
 97.3 % 71 / 73 91.7 % 11 / 12 70.0 % 35 / 50
decision_strategy.h
60.0%60.0%
 60.0 % 3 / 5 42.9 % 3 / 7 - 0 / 0
difficulty_manager.cpp
92.9%92.9%
 92.9 % 79 / 85 87.5 % 7 / 8 74.3 % 52 / 70
ee_manager.cpp
91.7%91.7%
 91.7 % 11 / 12 100.0 % 3 / 3 75.0 % 3 / 4
ee_manager.h
100.0%
 100.0 % 3 / 3 75.0 % 3 / 4 - 0 / 0
ee_manager_central.cpp
98.1%98.1%
 98.1 % 156 / 159 100.0 % 15 / 15 73.2 % 101 / 138
ee_manager_distributed.cpp
97.7%97.7%
 97.7 % 43 / 44 100.0 % 5 / 5 61.1 % 22 / 36
ee_setup_info.h
100.0%
 100.0 % 11 / 11 100.0 % 4 / 4 - 0 / 0
evaluator.cpp
95.5%95.5%
 95.5 % 778 / 815 100.0 % 10 / 10 79.1 % 352 / 445
evaluator.h
100.0%
 100.0 % 6 / 6 100.0 % 6 / 6 - 0 / 0
ext_theory.cpp
90.8%90.8%
 90.8 % 217 / 239 79.2 % 19 / 24 72.1 % 132 / 183
ext_theory.h
100.0%
 100.0 % 5 / 5 66.7 % 4 / 6 - 0 / 0
incomplete_id.cpp
92.9%92.9%
 92.9 % 39 / 42 100.0 % 2 / 2 92.6 % 25 / 27
inference_id.cpp
99.3%99.3%
 99.3 % 571 / 575 100.0 % 4 / 4 99.3 % 411 / 414
inference_manager_buffered.cpp
93.1%93.1%
 93.1 % 81 / 87 90.5 % 19 / 21 67.4 % 31 / 46
inference_manager_buffered.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
lemma_property.cpp
47.2%47.2%
 47.2 % 17 / 36 80.0 % 8 / 10 0.0 % 0 / 12
logic_info.cpp
88.8%88.8%
 88.8 % 451 / 508 93.2 % 41 / 44 81.5 % 313 / 384
logic_info.h
100.0%
 100.0 % 22 / 22 100.0 % 9 / 9 100.0 % 14 / 14
model_manager.cpp
92.8%92.8%
 92.8 % 77 / 83 80.0 % 8 / 10 56.9 % 33 / 58
model_manager_distributed.cpp
89.5%89.5%
 89.5 % 51 / 57 100.0 % 6 / 6 63.3 % 19 / 30
output_channel.cpp
88.1%88.1%
 88.1 % 74 / 84 92.9 % 13 / 14 47.4 % 18 / 38
output_channel.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
partition_generator.cpp
0.0%
 0.0 % 0 / 251 0.0 % 0 / 14 0.0 % 0 / 113
plugin_module.cpp
100.0%
 100.0 % 22 / 22 100.0 % 4 / 4 58.3 % 7 / 12
quantifiers_engine.cpp
83.5%83.5%
 83.5 % 314 / 376 86.2 % 25 / 29 59.2 % 219 / 370
relevance_manager.cpp
85.3%85.3%
 85.3 % 237 / 278 95.0 % 19 / 20 62.5 % 170 / 272
rep_set.cpp
69.5%69.5%
 69.5 % 66 / 95 69.2 % 9 / 13 51.4 % 36 / 70
rep_set.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
rep_set_iterator.cpp
81.4%81.4%
 81.4 % 144 / 177 81.2 % 13 / 16 52.5 % 83 / 158
rep_set_iterator.h
45.5%45.5%
 45.5 % 5 / 11 55.6 % 5 / 9 - 0 / 0
rewriter.cpp
90.8%90.8%
 90.8 % 208 / 229 100.0 % 18 / 18 63.3 % 143 / 226
rewriter_attributes.h
100.0%
 100.0 % 32 / 32 100.0 % 56 / 56 64.3 % 18 / 28
shared_solver.cpp
92.7%92.7%
 92.7 % 51 / 55 80.0 % 8 / 10 81.8 % 18 / 22
shared_solver.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
shared_solver_distributed.cpp
94.3%94.3%
 94.3 % 33 / 35 100.0 % 7 / 7 60.0 % 12 / 20
shared_solver_distributed.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
shared_terms_database.cpp
85.5%85.5%
 85.5 % 148 / 173 85.7 % 18 / 21 50.0 % 57 / 114
shared_terms_database.h
100.0%
 100.0 % 24 / 24 100.0 % 10 / 10 37.5 % 3 / 8
skolem_lemma.cpp
100.0%
 100.0 % 5 / 5 100.0 % 2 / 2 33.3 % 4 / 12
smt_engine_subsolver.cpp
91.4%91.4%
 91.4 % 96 / 105 92.3 % 12 / 13 73.4 % 47 / 64
sort_inference.cpp
81.4%81.4%
 81.4 % 450 / 553 67.9 % 19 / 28 64.9 % 305 / 470
sort_inference.h
80.0%80.0%
 80.0 % 4 / 5 83.3 % 5 / 6 - 0 / 0
subs_minimize.cpp
83.5%83.5%
 83.5 % 202 / 242 100.0 % 6 / 6 57.0 % 154 / 270
subs_minimize.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
substitutions.cpp
78.0%78.0%
 78.0 % 128 / 164 66.7 % 8 / 12 66.9 % 87 / 130
substitutions.h
81.8%81.8%
 81.8 % 18 / 22 78.6 % 11 / 14 0.0 % 0 / 2
term_registration_visitor.cpp
80.3%80.3%
 80.3 % 110 / 137 86.7 % 13 / 15 61.4 % 81 / 132
term_registration_visitor.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory.cpp
87.2%87.2%
 87.2 % 286 / 328 82.5 % 33 / 40 61.8 % 201 / 325
theory.h
79.2%79.2%
 79.2 % 38 / 48 77.8 % 21 / 27 70.8 % 17 / 24
theory_engine.cpp
83.7%83.7%
 83.7 % 885 / 1057 93.4 % 57 / 61 60.6 % 727 / 1200
theory_engine.h
97.6%97.6%
 97.6 % 40 / 41 100.0 % 34 / 34 50.0 % 14 / 28
theory_engine_module.cpp
71.4%71.4%
 71.4 % 10 / 14 66.7 % 6 / 9 - 0 / 0
theory_engine_module.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
theory_engine_proof_generator.cpp
79.7%79.7%
 79.7 % 51 / 64 100.0 % 4 / 4 56.5 % 26 / 46
theory_engine_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
theory_engine_statistics.cpp
100.0%
 100.0 % 7 / 7 100.0 % 1 / 1 - 0 / 0
theory_eq_notify.h
100.0%
 100.0 % 19 / 19 88.9 % 8 / 9 100.0 % 4 / 4
theory_id.cpp
76.2%76.2%
 76.2 % 64 / 84 80.0 % 12 / 15 74.5 % 35 / 47
theory_inference.cpp
75.0%75.0%
 75.0 % 12 / 16 75.0 % 3 / 4 33.3 % 2 / 6
theory_inference.h
60.0%60.0%
 60.0 % 6 / 10 63.6 % 7 / 11 - 0 / 0
theory_inference_manager.cpp
89.8%89.8%
 89.8 % 263 / 293 84.4 % 38 / 45 57.4 % 116 / 202
theory_model.cpp
89.8%89.8%
 89.8 % 600 / 668 93.9 % 46 / 49 62.5 % 397 / 635
theory_model.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
theory_model_builder.cpp
93.3%93.3%
 93.3 % 568 / 609 100.0 % 19 / 19 67.4 % 432 / 641
theory_model_builder.h
100.0%
 100.0 % 3 / 3 100.0 % 4 / 4 - 0 / 0
theory_preprocessor.cpp
95.7%95.7%
 95.7 % 224 / 234 92.3 % 12 / 13 59.2 % 122 / 206
theory_rewriter.cpp
56.1%56.1%
 56.1 % 37 / 66 66.7 % 10 / 15 33.3 % 7 / 21
theory_rewriter.h
75.0%75.0%
 75.0 % 3 / 4 60.0 % 3 / 5 - 0 / 0
theory_state.cpp
85.3%85.3%
 85.3 % 81 / 95 90.5 % 19 / 21 55.0 % 44 / 80
theory_state.h
100.0%
 100.0 % 5 / 5 80.0 % 4 / 5 - 0 / 0
trust_substitutions.cpp
91.4%91.4%
 91.4 % 128 / 140 83.3 % 10 / 12 56.9 % 58 / 102
type_enumerator.h
89.7%89.7%
 89.7 % 52 / 58 95.9 % 47 / 49 41.7 % 10 / 24
type_set.cpp
96.5%96.5%
 96.5 % 55 / 57 100.0 % 6 / 6 85.7 % 24 / 28
type_set.h
100.0%
 100.0 % 4 / 4 100.0 % 4 / 4 - 0 / 0
valuation.cpp
63.2%63.2%
 63.2 % 72 / 114 88.0 % 22 / 25 30.3 % 36 / 119
valuation.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14