LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop Hit Total Coverage
Test: coverage.info Lines: 2474 2901 85.3 %
Date: 2026-02-25 11:44:22 Functions: 238 285 83.5 %
Branches: 1221 2180 56.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cnf_stream.cpp
91.6%91.6%
 91.6 % 426 / 465 91.2 % 31 / 34 47.0 % 213 / 453
cryptominisat.cpp
65.3%65.3%
 65.3 % 81 / 124 61.5 % 16 / 26 40.7 % 22 / 54
cryptominisat.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
learned_db.cpp
70.5%70.5%
 70.5 % 43 / 61 77.8 % 7 / 9 64.3 % 18 / 28
lemma_inprocess.cpp
89.6%89.6%
 89.6 % 95 / 106 100.0 % 3 / 3 52.9 % 46 / 87
lemma_inprocess.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
proof_cnf_stream.cpp
94.5%94.5%
 94.5 % 600 / 635 77.3 % 17 / 22 56.0 % 291 / 520
proof_post_processor.cpp
90.6%90.6%
 90.6 % 48 / 53 100.0 % 10 / 10 43.2 % 19 / 44
proof_post_processor.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
prop_engine.cpp
77.7%77.7%
 77.7 % 338 / 435 87.5 % 42 / 48 56.3 % 188 / 334
prop_proof_manager.cpp
69.8%69.8%
 69.8 % 196 / 281 86.4 % 19 / 22 45.7 % 74 / 162
registrar.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
sat_solver.h
5.7%5.7%
 5.7 % 2 / 35 18.2 % 2 / 11 0.0 % 0 / 6
sat_solver_factory.cpp
84.2%84.2%
 84.2 % 16 / 19 80.0 % 4 / 5 50.0 % 1 / 2
sat_solver_types.cpp
0.0%
 0.0 % 0 / 2 0.0 % 0 / 1 - 0 / 0
sat_solver_types.h
84.8%84.8%
 84.8 % 28 / 33 92.3 % 12 / 13 62.5 % 5 / 8
skolem_def_manager.cpp
100.0%
 100.0 % 95 / 95 100.0 % 7 / 7 78.0 % 64 / 82
theory_preregistrar.cpp
87.0%87.0%
 87.0 % 40 / 46 92.3 % 12 / 13 65.0 % 13 / 20
theory_proxy.cpp
92.2%92.2%
 92.2 % 247 / 268 94.4 % 34 / 36 67.5 % 131 / 194
zero_level_learner.cpp
90.3%90.3%
 90.3 % 215 / 238 100.0 % 17 / 17 73.1 % 136 / 186

Generated by: LCOV version 1.14