LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1757 1888 93.1 %
Date: 2026-09-29 09:33:19 Functions: 94 96 97.9 %
Branches: 1382 2280 60.6 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
circuit_propagator.cpp
94.5%94.5%
 94.5 % 380 / 402 100.0 % 18 / 18 72.9 % 264 / 362
circuit_propagator.h
95.8%95.8%
 95.8 % 23 / 24 100.0 % 11 / 11 73.3 % 22 / 30
proof_checker.cpp
88.2%88.2%
 88.2 % 510 / 578 100.0 % 3 / 3 45.8 % 511 / 1116
proof_circuit_propagator.cpp
95.5%95.5%
 95.5 % 276 / 289 100.0 % 39 / 39 73.8 % 152 / 206
theory_bool.cpp
82.4%82.4%
 82.4 % 28 / 34 80.0 % 4 / 5 61.1 % 11 / 18
theory_bool_rewriter.cpp
96.2%96.2%
 96.2 % 487 / 506 100.0 % 11 / 11 76.5 % 385 / 503
theory_bool_type_rules.cpp
95.0%95.0%
 95.0 % 38 / 40 80.0 % 4 / 5 93.3 % 28 / 30
type_enumerator.h
100.0%
 100.0 % 15 / 15 100.0 % 4 / 4 60.0 % 9 / 15

Generated by: LCOV version 1.14