LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/prop/minisat Hit Total Coverage
Test: coverage.info Lines: 557 746 74.7 %
Date: 2024-10-10 10:22:32 Functions: 57 67 85.1 %
Branches: 302 666 45.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
minisat.h
50.0%50.0%
 50.0 % 2 / 4 66.7 % 2 / 3 - 0 / 0
minisat.cpp
78.7%78.7%
 78.7 % 148 / 188 78.4 % 29 / 37 52.0 % 51 / 98
sat_proof_manager.cpp
71.8%71.8%
 71.8 % 364 / 507 95.8 % 23 / 24 42.7 % 223 / 522
opt_clauses_manager.cpp
91.5%91.5%
 91.5 % 43 / 47 100.0 % 3 / 3 60.9 % 28 / 46

Generated by: LCOV version 1.14