LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/cadical Hit Total Coverage
Test: coverage.info Lines: 509 692 73.6 %
Date: 2026-03-31 10:41:31 Functions: 63 81 77.8 %
Branches: 262 562 46.6 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cadical.cpp
69.5%69.5%
 69.5 % 146 / 210 79.5 % 31 / 39 47.4 % 55 / 116
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 / 82 0.0 % 0 / 6 0.0 % 0 / 70
util.cpp
66.7%66.7%
 66.7 % 14 / 21 83.3 % 5 / 6 50.0 % 12 / 24

Generated by: LCOV version 1.14