LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1519 1693 89.7 %
Date: 2025-02-20 12:45:24 Functions: 92 94 97.9 %
Branches: 1214 2087 58.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
circuit_propagator.cpp
94.8%94.8%
 94.8 % 365 / 385 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
79.2%79.2%
 79.2 % 439 / 554 100.0 % 3 / 3 43.0 % 464 / 1078
proof_circuit_propagator.cpp
95.9%95.9%
 95.9 % 259 / 270 100.0 % 39 / 39 74.0 % 151 / 204
theory_bool.cpp
80.6%80.6%
 80.6 % 25 / 31 80.0 % 4 / 5 56.2 % 9 / 16
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