LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/smt Hit Total Coverage
Test: coverage.info Lines: 5700 6674 85.4 %
Date: 2026-04-26 10:45:53 Functions: 478 529 90.4 %
Branches: 3840 5790 66.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
proof_logger.h
0.0%
 0.0 % 0 / 12 0.0 % 0 / 9 - 0 / 0
smt_mode.cpp
0.0%
 0.0 % 0 / 13 0.0 % 0 / 1 0.0 % 0 / 10
proof_logger.cpp
0.0%
 0.0 % 0 / 73 0.0 % 0 / 9 0.0 % 0 / 28
proof_final_callback.cpp
53.3%53.3%
 53.3 % 80 / 150 100.0 % 4 / 4 34.6 % 36 / 104
check_models.cpp
59.3%59.3%
 59.3 % 73 / 123 66.7 % 2 / 3 58.1 % 50 / 86
proof_manager.cpp
80.2%80.2%
 80.2 % 206 / 257 82.4 % 14 / 17 54.3 % 100 / 184
witness_form.cpp
81.3%81.3%
 81.3 % 61 / 75 66.7 % 6 / 9 56.4 % 22 / 39
set_defaults.cpp
81.3%81.3%
 81.3 % 663 / 815 100.0 % 22 / 22 78.2 % 1121 / 1434
solver_engine.cpp
82.1%82.1%
 82.1 % 1044 / 1272 92.0 % 104 / 113 59.4 % 473 / 796
unsat_core_manager.cpp
83.4%83.4%
 83.4 % 151 / 181 100.0 % 8 / 8 52.4 % 66 / 126
preprocess_proof_generator.cpp
83.6%83.6%
 83.6 % 102 / 122 77.8 % 7 / 9 47.3 % 69 / 146
interpolation_solver.cpp
84.0%84.0%
 84.0 % 89 / 106 100.0 % 6 / 6 59.0 % 46 / 78
print_benchmark.cpp
85.6%85.6%
 85.6 % 154 / 180 88.9 % 8 / 9 74.7 % 109 / 146
assertions.cpp
86.9%86.9%
 86.9 % 93 / 107 92.3 % 12 / 13 72.2 % 65 / 90
smt_driver.cpp
87.6%87.6%
 87.6 % 78 / 89 100.0 % 11 / 11 69.2 % 27 / 39
model_blocker.cpp
88.1%88.1%
 88.1 % 170 / 193 100.0 % 2 / 2 76.5 % 130 / 170
model_core_builder.cpp
89.4%89.4%
 89.4 % 42 / 47 100.0 % 2 / 2 59.4 % 19 / 32
timeout_core_manager.cpp
90.2%90.2%
 90.2 % 230 / 255 100.0 % 10 / 10 60.8 % 146 / 240
preprocessor.cpp
90.5%90.5%
 90.5 % 38 / 42 81.8 % 9 / 11 85.0 % 17 / 20
solver_engine_state.cpp
91.5%91.5%
 91.5 % 75 / 82 100.0 % 17 / 17 74.5 % 38 / 51
term_formula_removal.cpp
91.8%91.8%
 91.8 % 190 / 207 83.3 % 10 / 12 65.4 % 106 / 162
proof_post_processor.cpp
92.1%92.1%
 92.1 % 547 / 594 100.0 % 21 / 21 59.6 % 336 / 564
abduction_solver.cpp
92.5%92.5%
 92.5 % 124 / 134 100.0 % 7 / 7 53.9 % 55 / 102
process_assertions.cpp
94.0%94.0%
 94.0 % 219 / 233 92.3 % 12 / 13 75.3 % 146 / 194
context_manager.cpp
94.5%94.5%
 94.5 % 86 / 91 93.8 % 15 / 16 63.6 % 42 / 66
quant_elim_solver.cpp
95.6%95.6%
 95.6 % 86 / 90 100.0 % 4 / 4 66.2 % 53 / 80
sygus_solver.cpp
95.8%95.8%
 95.8 % 340 / 355 100.0 % 20 / 20 74.8 % 193 / 258
difficulty_post_processor.cpp
96.2%96.2%
 96.2 % 25 / 26 100.0 % 4 / 4 50.0 % 19 / 38
env.cpp
96.2%96.2%
 96.2 % 179 / 186 100.0 % 47 / 47 67.0 % 71 / 106
smt_solver.cpp
96.3%96.3%
 96.3 % 105 / 109 100.0 % 21 / 21 56.1 % 37 / 66
illegal_checker.cpp
96.4%96.4%
 96.4 % 133 / 138 100.0 % 3 / 3 88.0 % 103 / 117
witness_form.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
find_synth_solver.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
unsat_core_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
preprocess_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
env_obj.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
difficulty_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
proof_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
solver_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
solver_engine_state.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
smt_driver_deep_restarts.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
context_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
timeout_core_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
smt_driver.h
100.0%
 100.0 % 2 / 2 75.0 % 3 / 4 - 0 / 0
listeners.cpp
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
print_benchmark.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
logic_exception.h
100.0%
 100.0 % 5 / 5 100.0 % 3 / 3 - 0 / 0
solver_engine_stats.cpp
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1 - 0 / 0
env_obj.cpp
100.0%
 100.0 % 28 / 28 100.0 % 18 / 18 - 0 / 0
find_synth_solver.cpp
100.0%
 100.0 % 31 / 31 100.0 % 3 / 3 100.0 % 18 / 18
model.cpp
100.0%
 100.0 % 39 / 39 100.0 % 10 / 10 50.0 % 9 / 18
smt_driver_deep_restarts.cpp
100.0%
 100.0 % 49 / 49 100.0 % 3 / 3 65.8 % 25 / 38
expand_definitions.cpp
100.0%
 100.0 % 59 / 59 75.0 % 3 / 4 66.7 % 40 / 60
proof_post_processor_dsl.cpp
100.0%
 100.0 % 74 / 74 100.0 % 5 / 5 63.1 % 53 / 84

Generated by: LCOV version 1.14