LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/smt Hit Total Coverage
Test: coverage.info Lines: 5002 5639 88.7 %
Date: 2024-10-06 11:37:27 Functions: 463 497 93.2 %
Branches: 3450 5083 67.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
smt_mode.cpp
0.0%
 0.0 % 0 / 13 0.0 % 0 / 1 0.0 % 0 / 10
interpolation_solver.cpp
79.7%79.7%
 79.7 % 55 / 69 100.0 % 6 / 6 48.3 % 28 / 58
model.cpp
100.0%
 100.0 % 38 / 38 100.0 % 10 / 10 50.0 % 9 / 18
difficulty_post_processor.cpp
96.3%96.3%
 96.3 % 26 / 27 100.0 % 4 / 4 50.0 % 19 / 38
unsat_core_manager.cpp
84.8%84.8%
 84.8 % 140 / 165 100.0 % 8 / 8 50.8 % 62 / 122
proof_manager.cpp
82.6%82.6%
 82.6 % 171 / 207 84.6 % 11 / 13 51.2 % 82 / 160
preprocess_proof_generator.cpp
88.2%88.2%
 88.2 % 97 / 110 80.0 % 8 / 10 53.0 % 71 / 134
abduction_solver.cpp
91.9%91.9%
 91.9 % 114 / 124 100.0 % 7 / 7 53.0 % 53 / 100
smt_solver.cpp
98.9%98.9%
 98.9 % 92 / 93 100.0 % 20 / 20 56.7 % 34 / 60
timeout_core_manager.cpp
89.0%89.0%
 89.0 % 219 / 246 90.0 % 9 / 10 58.3 % 134 / 230
proof_final_callback.cpp
89.9%89.9%
 89.9 % 98 / 109 100.0 % 4 / 4 58.3 % 56 / 96
model_core_builder.cpp
89.1%89.1%
 89.1 % 41 / 46 100.0 % 2 / 2 59.4 % 19 / 32
witness_form.cpp
86.8%86.8%
 86.8 % 46 / 53 71.4 % 5 / 7 59.4 % 19 / 32
proof_post_processor.cpp
91.0%91.0%
 91.0 % 498 / 547 100.0 % 23 / 23 59.9 % 314 / 524
solver_engine.cpp
85.8%85.8%
 85.8 % 917 / 1069 89.7 % 104 / 116 63.6 % 426 / 670
proof_post_processor_dsl.cpp
91.0%91.0%
 91.0 % 61 / 67 100.0 % 4 / 4 64.3 % 36 / 56
context_manager.cpp
94.3%94.3%
 94.3 % 83 / 88 93.8 % 15 / 16 64.5 % 40 / 62
smt_driver_deep_restarts.cpp
100.0%
 100.0 % 46 / 46 100.0 % 3 / 3 65.8 % 25 / 38
quant_elim_solver.cpp
95.1%95.1%
 95.1 % 78 / 82 100.0 % 4 / 4 66.2 % 53 / 80
term_formula_removal.cpp
91.9%91.9%
 91.9 % 182 / 198 83.3 % 10 / 12 66.2 % 102 / 154
expand_definitions.cpp
100.0%
 100.0 % 52 / 52 75.0 % 3 / 4 66.7 % 36 / 54
env.cpp
95.1%95.1%
 95.1 % 154 / 162 100.0 % 42 / 42 67.0 % 63 / 94
smt_driver.cpp
87.7%87.7%
 87.7 % 71 / 81 100.0 % 11 / 11 67.6 % 23 / 34
check_models.cpp
78.2%78.2%
 78.2 % 43 / 55 100.0 % 2 / 2 68.2 % 15 / 22
assertions.cpp
84.7%84.7%
 84.7 % 61 / 72 92.3 % 12 / 13 69.6 % 32 / 46
print_benchmark.cpp
85.6%85.6%
 85.6 % 143 / 167 88.9 % 8 / 9 73.5 % 97 / 132
solver_engine_state.cpp
94.3%94.3%
 94.3 % 66 / 70 100.0 % 16 / 16 74.5 % 35 / 47
process_assertions.cpp
93.9%93.9%
 93.9 % 200 / 213 92.3 % 12 / 13 75.0 % 138 / 184
sygus_solver.cpp
95.3%95.3%
 95.3 % 307 / 322 100.0 % 19 / 19 76.3 % 180 / 236
model_blocker.cpp
91.2%91.2%
 91.2 % 145 / 159 100.0 % 2 / 2 77.4 % 113 / 146
set_defaults.cpp
83.2%83.2%
 83.2 % 623 / 749 100.0 % 22 / 22 80.0 % 1099 / 1374
preprocessor.cpp
88.1%88.1%
 88.1 % 37 / 42 81.8 % 9 / 11 86.4 % 19 / 22
preprocess_proof_generator.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
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
solver_engine_stats.cpp
100.0%
 100.0 % 13 / 13 100.0 % 1 / 1 - 0 / 0
context_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
solver_engine_state.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
difficulty_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
smt_driver_deep_restarts.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
proof_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
smt_driver.h
100.0%
 100.0 % 2 / 2 75.0 % 3 / 4 - 0 / 0
solver_engine.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
listeners.cpp
100.0%
 100.0 % 4 / 4 100.0 % 2 / 2 - 0 / 0
env_obj.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
env_obj.cpp
100.0%
 100.0 % 28 / 28 100.0 % 18 / 18 - 0 / 0
print_benchmark.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
timeout_core_manager.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
logic_exception.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
find_synth_solver.cpp
100.0%
 100.0 % 30 / 30 100.0 % 3 / 3 100.0 % 18 / 18

Generated by: LCOV version 1.14