LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/minisat/mtl Hit Total Coverage
Test: coverage.info Lines: 225 239 94.1 %
Date: 2026-01-21 12:59:26 Functions: 201 206 97.6 %
Branches: 138 220 62.7 %

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.7%95.7%
 95.7 % 45 / 47 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.3%96.3%
 96.3 % 26 / 27 85.7 % 6 / 7 55.6 % 20 / 36
Sort.h
100.0%
 100.0 % 26 / 26 100.0 % 11 / 11 100.0 % 14 / 14
Vec.h
95.7%95.7%
 95.7 % 45 / 47 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