LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1604 1773 90.5 %
Date: 2026-01-24 12:24:20 Functions: 93 95 97.9 %
Branches: 1297 2198 59.0 %

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 % 363 / 383 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
88.0%88.0%
 88.0 % 484 / 550 100.0 % 3 / 3 45.7 % 505 / 1104
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
86.4%86.4%
 86.4 % 401 / 464 100.0 % 10 / 10 71.4 % 322 / 451
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 % 15 / 15 100.0 % 4 / 4 61.5 % 8 / 13

Generated by: LCOV version 1.14