LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1505 1676 89.8 %
Date: 2024-11-17 12:40:58 Functions: 92 94 97.9 %
Branches: 1219 2089 58.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
circuit_propagator.cpp
94.7%94.7%
 94.7 % 360 / 380 100.0 % 18 / 18 72.5 % 261 / 360
circuit_propagator.h
95.8%95.8%
 95.8 % 23 / 24 100.0 % 11 / 11 75.0 % 21 / 28
proof_checker.cpp
78.8%78.8%
 78.8 % 428 / 543 100.0 % 3 / 3 43.0 % 464 / 1078
proof_circuit_propagator.cpp
95.9%95.9%
 95.9 % 260 / 271 100.0 % 39 / 39 74.0 % 151 / 204
theory_bool.cpp
89.7%89.7%
 89.7 % 26 / 29 80.0 % 4 / 5 77.8 % 14 / 18
theory_bool_rewriter.cpp
94.9%94.9%
 94.9 % 356 / 375 100.0 % 9 / 9 76.5 % 280 / 366
theory_bool_type_rules.cpp
94.4%94.4%
 94.4 % 34 / 36 80.0 % 4 / 5 90.9 % 20 / 22
type_enumerator.h
100.0%
 100.0 % 18 / 18 100.0 % 4 / 4 61.5 % 8 / 13

Generated by: LCOV version 1.14