LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/smt Hit Total Coverage
Test: coverage.info Lines: 5275 6235 84.6 %
Date: 2026-01-23 12:59:45 Functions: 474 529 89.6 %
Branches: 3636 5515 65.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
abduction_solver.cpp
92.2%92.2%
 92.2 % 118 / 128 100.0 % 7 / 7 53.9 % 55 / 102
assertions.cpp
89.3%89.3%
 89.3 % 92 / 103 92.3 % 12 / 13 72.2 % 65 / 90
check_models.cpp
58.5%58.5%
 58.5 % 69 / 118 66.7 % 2 / 3 46.7 % 28 / 60
context_manager.cpp
94.3%94.3%
 94.3 % 83 / 88 93.8 % 15 / 16 64.5 % 40 / 62
context_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
difficulty_post_processor.cpp
96.2%96.2%
 96.2 % 25 / 26 100.0 % 4 / 4 50.0 % 19 / 38
difficulty_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
env.cpp
95.5%95.5%
 95.5 % 169 / 177 100.0 % 47 / 47 68.0 % 68 / 100
env_obj.cpp
100.0%
 100.0 % 28 / 28 100.0 % 18 / 18 - 0 / 0
env_obj.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
expand_definitions.cpp
100.0%
 100.0 % 54 / 54 75.0 % 3 / 4 65.5 % 38 / 58
find_synth_solver.cpp
100.0%
 100.0 % 30 / 30 100.0 % 3 / 3 100.0 % 18 / 18
find_synth_solver.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
illegal_checker.cpp
96.2%96.2%
 96.2 % 127 / 132 100.0 % 3 / 3 88.0 % 103 / 117
interpolation_solver.cpp
83.3%83.3%
 83.3 % 85 / 102 100.0 % 6 / 6 59.0 % 46 / 78
listeners.cpp
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
logic_exception.h
100.0%
 100.0 % 9 / 9 100.0 % 3 / 3 - 0 / 0
model.cpp
100.0%
 100.0 % 38 / 38 100.0 % 10 / 10 50.0 % 9 / 18
model_blocker.cpp
88.3%88.3%
 88.3 % 151 / 171 100.0 % 2 / 2 75.3 % 116 / 154
model_core_builder.cpp
89.1%89.1%
 89.1 % 41 / 46 100.0 % 2 / 2 59.4 % 19 / 32
preprocess_proof_generator.cpp
83.3%83.3%
 83.3 % 95 / 114 77.8 % 7 / 9 47.2 % 68 / 144
preprocess_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
preprocessor.cpp
87.8%87.8%
 87.8 % 36 / 41 81.8 % 9 / 11 85.0 % 17 / 20
print_benchmark.cpp
85.8%85.8%
 85.8 % 145 / 169 88.9 % 8 / 9 75.0 % 105 / 140
print_benchmark.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
process_assertions.cpp
94.3%94.3%
 94.3 % 214 / 227 92.3 % 12 / 13 75.8 % 144 / 190
proof_final_callback.cpp
55.9%55.9%
 55.9 % 85 / 152 100.0 % 4 / 4 34.6 % 36 / 104
proof_logger.cpp
0.0%
 0.0 % 0 / 69 0.0 % 0 / 9 0.0 % 0 / 28
proof_logger.h
0.0%
 0.0 % 0 / 9 0.0 % 0 / 9 - 0 / 0
proof_manager.cpp
79.7%79.7%
 79.7 % 188 / 236 82.4 % 14 / 17 49.4 % 82 / 166
proof_post_processor.cpp
77.5%77.5%
 77.5 % 423 / 546 100.0 % 21 / 21 53.8 % 268 / 498
proof_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_post_processor_dsl.cpp
98.6%98.6%
 98.6 % 71 / 72 100.0 % 5 / 5 63.4 % 52 / 82
quant_elim_solver.cpp
95.1%95.1%
 95.1 % 78 / 82 100.0 % 4 / 4 66.2 % 53 / 80
set_defaults.cpp
82.0%82.0%
 82.0 % 652 / 795 100.0 % 22 / 22 78.2 % 1125 / 1438
smt_driver.cpp
88.1%88.1%
 88.1 % 74 / 84 100.0 % 11 / 11 69.4 % 25 / 36
smt_driver.h
100.0%
 100.0 % 2 / 2 75.0 % 3 / 4 - 0 / 0
smt_driver_deep_restarts.cpp
100.0%
 100.0 % 46 / 46 100.0 % 3 / 3 65.8 % 25 / 38
smt_driver_deep_restarts.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
smt_mode.cpp
0.0%
 0.0 % 0 / 13 0.0 % 0 / 1 0.0 % 0 / 10
smt_solver.cpp
96.2%96.2%
 96.2 % 100 / 104 100.0 % 21 / 21 56.1 % 37 / 66
solver_engine.cpp
84.2%84.2%
 84.2 % 940 / 1116 89.7 % 104 / 116 61.1 % 434 / 710
solver_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
solver_engine_state.cpp
94.3%94.3%
 94.3 % 66 / 70 100.0 % 16 / 16 74.5 % 35 / 47
solver_engine_state.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
solver_engine_stats.cpp
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1 - 0 / 0
sygus_solver.cpp
95.4%95.4%
 95.4 % 313 / 328 100.0 % 19 / 19 75.6 % 186 / 246
term_formula_removal.cpp
91.8%91.8%
 91.8 % 180 / 196 83.3 % 10 / 12 66.2 % 102 / 154
timeout_core_manager.cpp
89.0%89.0%
 89.0 % 219 / 246 90.0 % 9 / 10 58.3 % 134 / 230
timeout_core_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
unsat_core_manager.cpp
84.9%84.9%
 84.9 % 141 / 166 100.0 % 8 / 8 50.8 % 62 / 122
unsat_core_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
witness_form.cpp
80.0%80.0%
 80.0 % 56 / 70 62.5 % 5 / 8 56.4 % 22 / 39
witness_form.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0

Generated by: LCOV version 1.14