LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/minisat/mtl Hit Total Coverage
Test: coverage.info Lines: 259 280 92.5 %
Date: 2026-08-31 23:16:50 Functions: 196 206 95.1 %
Branches: 131 226 58.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
Alg.h
63.6%63.6%
 63.6 % 7 / 11 25.0 % 1 / 4 40.0 % 8 / 20
Alloc.h
100.0%
 100.0 % 47 / 47 100.0 % 12 / 12 43.8 % 21 / 48
Heap.h
89.3%89.3%
 89.3 % 67 / 75 89.3 % 25 / 28 68.8 % 33 / 48
Queue.h
85.3%85.3%
 85.3 % 29 / 34 85.7 % 6 / 7 50.0 % 21 / 42
Sort.h
100.0%
 100.0 % 34 / 34 100.0 % 11 / 11 100.0 % 14 / 14
Vec.h
95.9%95.9%
 95.9 % 71 / 74 97.9 % 140 / 143 66.0 % 33 / 50
XAlloc.h
80.0%80.0%
 80.0 % 4 / 5 100.0 % 1 / 1 25.0 % 1 / 4

Generated by: LCOV version 1.14