LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/cadical Hit Total Coverage
Test: coverage.info Lines: 648 750 86.4 %
Date: 2026-08-10 10:35:18 Functions: 79 90 87.8 %
Branches: 319 579 55.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cadical.cpp
84.8%84.8%
 84.8 % 151 / 178 82.1 % 32 / 39 56.4 % 53 / 94
cdclt_propagator.cpp
92.9%92.9%
 92.9 % 355 / 382 100.0 % 25 / 25 55.4 % 214 / 386
cdclt_propagator.h
83.3%83.3%
 83.3 % 20 / 24 71.4 % 5 / 7 - 0 / 0
proof_tracer.cpp
71.1%71.1%
 71.1 % 101 / 142 83.3 % 10 / 12 49.4 % 40 / 81
proof_tracer.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
util.cpp
85.7%85.7%
 85.7 % 18 / 21 100.0 % 6 / 6 66.7 % 12 / 18

Generated by: LCOV version 1.14