LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/cadical Hit Total Coverage
Test: coverage.info Lines: 504 702 71.8 %
Date: 2026-04-21 10:32:34 Functions: 63 87 72.4 %
Branches: 254 517 49.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cadical.cpp
80.3%80.3%
 80.3 % 143 / 178 79.5 % 31 / 39 53.2 % 50 / 94
cdclt_propagator.cpp
93.0%93.0%
 93.0 % 330 / 355 100.0 % 23 / 23 55.4 % 195 / 352
cdclt_propagator.h
79.2%79.2%
 79.2 % 19 / 24 57.1 % 4 / 7 - 0 / 0
proof_tracer.cpp
0.0%
 0.0 % 0 / 121 0.0 % 0 / 11 0.0 % 0 / 53
proof_tracer.h
0.0%
 0.0 % 0 / 3 0.0 % 0 / 1 - 0 / 0
util.cpp
57.1%57.1%
 57.1 % 12 / 21 83.3 % 5 / 6 50.0 % 9 / 18

Generated by: LCOV version 1.14