LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/prop Hit Total Coverage
Test: coverage.info Lines: 192 207 92.8 %
Date: 2026-08-01 10:35:31 Functions: 84 93 90.3 %
Branches: 76 150 50.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cnf_stream_white.cpp
88.6%88.6%
 88.6 % 109 / 123 85.5 % 53 / 62 50.0 % 50 / 100
cadical_propagator_white.cpp
98.8%98.8%
 98.8 % 83 / 84 100.0 % 31 / 31 52.0 % 26 / 50

Generated by: LCOV version 1.14