LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1694 1873 90.4 %
Date: 2026-02-23 11:51:46 Functions: 93 95 97.9 %
Branches: 1344 2249 59.8 %

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 % 378 / 400 100.0 % 18 / 18 72.7 % 263 / 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.0 % 508 / 1104
proof_circuit_propagator.cpp
95.5%95.5%
 95.5 % 275 / 288 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
86.0%86.0%
 86.0 % 425 / 494 100.0 % 10 / 10 72.5 % 351 / 484
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