LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory Hit Total Coverage
Test: coverage.info Lines: 9025 10541 85.6 %
Date: 2026-04-10 10:42:35 Functions: 977 1122 87.1 %
Branches: 5450 8506 64.1 %

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
81.6%81.6%
 81.6 % 31 / 38 87.5 % 7 / 8 50.0 % 6 / 12
atom_requests.h
100.0%
 100.0 % 9 / 9 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
74.0%74.0%
 74.0 % 159 / 215 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 % 42 / 43 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
90.7%90.7%
 90.7 % 39 / 43 100.0 % 2 / 2 92.6 % 25 / 27
inference_id.cpp
99.1%99.1%
 99.1 % 577 / 582 100.0 % 4 / 4 99.3 % 412 / 415
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.9%88.9%
 88.9 % 456 / 513 93.2 % 41 / 44 81.5 % 313 / 384
logic_info.h
100.0%
 100.0 % 16 / 16 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
89.3%89.3%
 89.3 % 75 / 84 92.9 % 13 / 14 50.0 % 19 / 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
82.4%82.4%
 82.4 % 324 / 393 86.2 % 25 / 29 59.5 % 220 / 370
relevance_manager.cpp
85.3%85.3%
 85.3 % 237 / 278 95.0 % 19 / 20 62.5 % 170 / 272
rep_set.cpp
66.7%66.7%
 66.7 % 68 / 102 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.9%90.9%
 90.9 % 210 / 231 100.0 % 18 / 18 63.3 % 143 / 226
rewriter_attributes.h
94.1%94.1%
 94.1 % 32 / 34 100.0 % 56 / 56 64.3 % 18 / 28
shared_solver.cpp
92.9%92.9%
 92.9 % 52 / 56 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.3%85.3%
 85.3 % 151 / 177 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
79.5%79.5%
 79.5 % 465 / 585 69.0 % 20 / 29 63.1 % 308 / 488
sort_inference.h
77.8%77.8%
 77.8 % 7 / 9 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.2%78.2%
 78.2 % 136 / 174 66.7 % 8 / 12 66.9 % 87 / 130
substitutions.h
80.0%80.0%
 80.0 % 16 / 20 78.6 % 11 / 14 0.0 % 0 / 2
term_registration_visitor.cpp
80.9%80.9%
 80.9 % 114 / 141 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
88.5%88.5%
 88.5 % 286 / 323 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 % 912 / 1090 93.8 % 60 / 64 60.6 % 731 / 1206
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.7%89.7%
 89.7 % 260 / 290 84.4 % 38 / 45 57.4 % 116 / 202
theory_model.cpp
89.2%89.2%
 89.2 % 610 / 684 94.3 % 50 / 53 61.5 % 399 / 649
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 % 567 / 608 100.0 % 21 / 21 67.2 % 428 / 637
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
87.3%87.3%
 87.3 % 48 / 55 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
64.9%64.9%
 64.9 % 72 / 111 88.0 % 22 / 25 30.3 % 36 / 119
valuation.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14