LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1757 1887 93.1 %
Date: 2026-06-07 10:33:52 Functions: 94 96 97.9 %
Branches: 1382 2278 60.7 %

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.6%88.6%
 88.6 % 512 / 578 100.0 % 3 / 3 46.1 % 514 / 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.0%96.0%
 96.0 % 485 / 505 100.0 % 11 / 11 76.2 % 382 / 501
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