LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/minisat Hit Total Coverage
Test: coverage.info Lines: 600 795 75.5 %
Date: 2026-02-23 11:51:46 Functions: 57 67 85.1 %
Branches: 324 700 46.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
minisat.cpp
78.9%78.9%
 78.9 % 157 / 199 78.4 % 29 / 37 51.0 % 51 / 100
minisat.h
50.0%50.0%
 50.0 % 2 / 4 66.7 % 2 / 3 - 0 / 0
opt_clauses_manager.cpp
92.6%92.6%
 92.6 % 50 / 54 100.0 % 3 / 3 60.9 % 28 / 46
sat_proof_manager.cpp
72.7%72.7%
 72.7 % 391 / 538 95.8 % 23 / 24 44.2 % 245 / 554

Generated by: LCOV version 1.14