LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop Hit Total Coverage
Test: coverage.info Lines: 2755 3203 86.0 %
Date: 2024-12-14 12:43:28 Functions: 294 352 83.5 %
Branches: 1419 2562 55.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cadical.cpp
85.5%85.5%
 85.5 % 453 / 530 84.5 % 60 / 71 52.7 % 233 / 442
cnf_stream.cpp
91.7%91.7%
 91.7 % 399 / 435 91.2 % 31 / 34 46.3 % 207 / 447
cryptominisat.cpp
64.7%64.7%
 64.7 % 75 / 116 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
71.2%71.2%
 71.2 % 37 / 52 77.8 % 7 / 9 64.3 % 18 / 28
lemma_inprocess.cpp
88.9%88.9%
 88.9 % 88 / 99 100.0 % 3 / 3 51.8 % 44 / 85
lemma_inprocess.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0
proof_cnf_stream.cpp
94.1%94.1%
 94.1 % 558 / 593 77.3 % 17 / 22 56.0 % 291 / 520
proof_post_processor.cpp
88.5%88.5%
 88.5 % 46 / 52 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
79.3%79.3%
 79.3 % 318 / 401 87.5 % 42 / 48 56.1 % 176 / 314
prop_proof_manager.cpp
75.5%75.5%
 75.5 % 166 / 220 84.2 % 16 / 19 48.6 % 68 / 140
registrar.h
100.0%
 100.0 % 2 / 2 66.7 % 2 / 3 - 0 / 0
sat_solver.h
5.9%5.9%
 5.9 % 2 / 34 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
87.5%87.5%
 87.5 % 28 / 32 91.7 % 11 / 12 62.5 % 5 / 8
skolem_def_manager.cpp
100.0%
 100.0 % 94 / 94 100.0 % 7 / 7 77.5 % 62 / 80
theory_preregistrar.cpp
87.8%87.8%
 87.8 % 36 / 41 92.3 % 12 / 13 65.0 % 13 / 20
theory_proxy.cpp
91.6%91.6%
 91.6 % 230 / 251 94.4 % 34 / 36 68.0 % 132 / 194
zero_level_learner.cpp
90.3%90.3%
 90.3 % 205 / 227 100.0 % 17 / 17 71.9 % 128 / 178

Generated by: LCOV version 1.14