LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/minisat/mtl Hit Total Coverage
Test: coverage.info Lines: 239 253 94.5 %
Date: 2026-04-06 10:24:45 Functions: 201 206 97.6 %
Branches: 139 226 61.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
Alg.h
100.0%
 100.0 % 11 / 11 100.0 % 4 / 4 75.0 % 15 / 20
Alloc.h
95.9%95.9%
 95.9 % 47 / 49 100.0 % 12 / 12 43.8 % 21 / 48
Heap.h
89.5%89.5%
 89.5 % 68 / 76 89.3 % 25 / 28 70.8 % 34 / 48
Queue.h
96.6%96.6%
 96.6 % 28 / 29 85.7 % 6 / 7 50.0 % 21 / 42
Sort.h
100.0%
 100.0 % 27 / 27 100.0 % 11 / 11 100.0 % 14 / 14
Vec.h
96.4%96.4%
 96.4 % 54 / 56 99.3 % 142 / 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