LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/cadical Hit Total Coverage
Test: coverage.info Lines: 507 692 73.3 %
Date: 2026-03-01 11:40:25 Functions: 63 81 77.8 %
Branches: 259 556 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
57.1%57.1%
 57.1 % 12 / 21 83.3 % 5 / 6 50.0 % 9 / 18

Generated by: LCOV version 1.14