LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory Hit Total Coverage
Test: coverage.info Lines: 8234 9674 85.1 %
Date: 2024-08-31 11:49:51 Functions: 958 1106 86.6 %
Branches: 5178 8152 63.5 %

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
86.7%86.7%
 86.7 % 26 / 30 87.5 % 7 / 8 50.0 % 5 / 10
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
93.9%93.9%
 93.9 % 31 / 33 100.0 % 5 / 5 71.4 % 10 / 14
combination_engine.cpp
95.6%95.6%
 95.6 % 43 / 45 91.7 % 11 / 12 43.8 % 7 / 16
conflict_processor.cpp
74.2%74.2%
 74.2 % 147 / 198 100.0 % 7 / 7 49.4 % 79 / 160
conflict_processor.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
decision_manager.cpp
97.9%97.9%
 97.9 % 46 / 47 100.0 % 4 / 4 60.4 % 29 / 48
decision_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
decision_strategy.cpp
94.4%94.4%
 94.4 % 67 / 71 91.7 % 11 / 12 65.2 % 30 / 46
decision_strategy.h
60.0%60.0%
 60.0 % 3 / 5 42.9 % 3 / 7 - 0 / 0
difficulty_manager.cpp
92.4%92.4%
 92.4 % 73 / 79 87.5 % 7 / 8 71.0 % 44 / 62
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
94.8%94.8%
 94.8 % 146 / 154 93.8 % 15 / 16 68.1 % 94 / 138
ee_manager_distributed.cpp
97.7%97.7%
 97.7 % 42 / 43 100.0 % 5 / 5 58.8 % 20 / 34
ee_setup_info.h
100.0%
 100.0 % 7 / 7 100.0 % 4 / 4 - 0 / 0
evaluator.cpp
92.8%92.8%
 92.8 % 645 / 695 100.0 % 10 / 10 78.1 % 299 / 383
evaluator.h
100.0%
 100.0 % 6 / 6 100.0 % 6 / 6 - 0 / 0
ext_theory.cpp
78.2%78.2%
 78.2 % 186 / 238 68.0 % 17 / 25 69.1 % 125 / 181
ext_theory.h
100.0%
 100.0 % 5 / 5 66.7 % 4 / 6 - 0 / 0
incomplete_id.cpp
92.3%92.3%
 92.3 % 36 / 39 100.0 % 2 / 2 92.0 % 23 / 25
inference_id.cpp
99.3%99.3%
 99.3 % 538 / 542 100.0 % 4 / 4 99.2 % 392 / 395
inference_manager_buffered.cpp
92.9%92.9%
 92.9 % 79 / 85 90.5 % 19 / 21 66.7 % 28 / 42
inference_manager_buffered.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
lemma_property.cpp
47.2%47.2%
 47.2 % 17 / 36 80.0 % 8 / 10 0.0 % 0 / 12
logic_info.cpp
87.9%87.9%
 87.9 % 379 / 431 92.7 % 38 / 41 81.8 % 311 / 380
logic_info.h
100.0%
 100.0 % 22 / 22 100.0 % 9 / 9 100.0 % 14 / 14
model_manager.cpp
91.9%91.9%
 91.9 % 68 / 74 80.0 % 8 / 10 57.1 % 32 / 56
model_manager_distributed.cpp
89.3%89.3%
 89.3 % 50 / 56 100.0 % 6 / 6 60.7 % 17 / 28
output_channel.cpp
87.5%87.5%
 87.5 % 70 / 80 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 / 230 0.0 % 0 / 14 0.0 % 0 / 111
plugin_module.cpp
95.2%95.2%
 95.2 % 20 / 21 100.0 % 4 / 4 50.0 % 6 / 12
quantifiers_engine.cpp
83.1%83.1%
 83.1 % 299 / 360 85.7 % 24 / 28 58.8 % 214 / 364
relevance_manager.cpp
86.4%86.4%
 86.4 % 228 / 264 95.0 % 19 / 20 62.5 % 165 / 264
rep_set.cpp
68.5%68.5%
 68.5 % 63 / 92 69.2 % 9 / 13 50.0 % 34 / 68
rep_set.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
rep_set_iterator.cpp
81.0%81.0%
 81.0 % 136 / 168 81.2 % 13 / 16 51.9 % 80 / 154
rep_set_iterator.h
50.0%50.0%
 50.0 % 5 / 10 55.6 % 5 / 9 - 0 / 0
rewriter.cpp
90.0%90.0%
 90.0 % 189 / 210 100.0 % 18 / 18 61.3 % 130 / 212
rewriter_attributes.h
100.0%
 100.0 % 30 / 30 100.0 % 56 / 56 64.3 % 18 / 28
shared_solver.cpp
92.2%92.2%
 92.2 % 47 / 51 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
97.1%97.1%
 97.1 % 33 / 34 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
83.4%83.4%
 83.4 % 131 / 157 85.7 % 18 / 21 50.0 % 57 / 114
shared_terms_database.h
100.0%
 100.0 % 23 / 23 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 % 85 / 93 92.3 % 12 / 13 77.4 % 48 / 62
sort_inference.cpp
81.2%81.2%
 81.2 % 427 / 526 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.8%83.8%
 83.8 % 191 / 228 100.0 % 6 / 6 58.1 % 150 / 258
subs_minimize.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
substitutions.cpp
77.3%77.3%
 77.3 % 109 / 141 63.6 % 7 / 11 67.8 % 80 / 118
substitutions.h
81.8%81.8%
 81.8 % 18 / 22 78.6 % 11 / 14 0.0 % 0 / 2
term_registration_visitor.cpp
82.0%82.0%
 82.0 % 109 / 133 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
86.8%86.8%
 86.8 % 270 / 311 82.9 % 34 / 41 60.6 % 186 / 307
theory.h
63.6%63.6%
 63.6 % 35 / 55 75.0 % 21 / 28 60.7 % 17 / 28
theory_engine.cpp
82.7%82.7%
 82.7 % 815 / 985 94.9 % 56 / 59 60.5 % 696 / 1150
theory_engine.h
97.6%97.6%
 97.6 % 40 / 41 100.0 % 34 / 34 50.0 % 13 / 26
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
80.0%80.0%
 80.0 % 48 / 60 100.0 % 4 / 4 56.8 % 25 / 44
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
74.7%74.7%
 74.7 % 62 / 83 80.0 % 12 / 15 72.3 % 34 / 47
theory_inference.cpp
75.0%75.0%
 75.0 % 12 / 16 75.0 % 3 / 4 33.3 % 2 / 6
theory_inference.h
66.7%66.7%
 66.7 % 6 / 9 63.6 % 7 / 11 - 0 / 0
theory_inference_manager.cpp
89.9%89.9%
 89.9 % 231 / 257 84.4 % 38 / 45 56.2 % 109 / 194
theory_model.cpp
89.9%89.9%
 89.9 % 480 / 534 91.5 % 43 / 47 63.4 % 322 / 508
theory_model.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
theory_model_builder.cpp
93.0%93.0%
 93.0 % 627 / 674 100.0 % 22 / 22 63.4 % 469 / 740
theory_model_builder.h
100.0%
 100.0 % 3 / 3 100.0 % 4 / 4 - 0 / 0
theory_preprocessor.cpp
95.9%95.9%
 95.9 % 210 / 219 92.3 % 12 / 13 57.4 % 117 / 204
theory_rewriter.cpp
67.4%67.4%
 67.4 % 31 / 46 75.0 % 9 / 12 43.8 % 7 / 16
theory_rewriter.h
75.0%75.0%
 75.0 % 3 / 4 60.0 % 3 / 5 - 0 / 0
theory_state.cpp
80.2%80.2%
 80.2 % 73 / 91 85.7 % 18 / 21 56.8 % 42 / 74
theory_state.h
100.0%
 100.0 % 5 / 5 80.0 % 4 / 5 - 0 / 0
trust_substitutions.cpp
97.5%97.5%
 97.5 % 117 / 120 91.7 % 11 / 12 60.2 % 59 / 98
type_enumerator.h
92.6%92.6%
 92.6 % 50 / 54 95.9 % 47 / 49 44.4 % 8 / 18
type_set.cpp
96.4%96.4%
 96.4 % 54 / 56 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.7%63.7%
 63.7 % 72 / 113 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