LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/booleans Hit Total Coverage
Test: coverage.info Lines: 1506 1676 89.9 %
Date: 2024-08-31 11:49:51 Functions: 92 94 97.9 %
Branches: 1224 2089 58.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.7%94.7%
 94.7 % 360 / 380 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.0%79.0%
 79.0 % 429 / 543 100.0 % 3 / 3 43.5 % 469 / 1078
proof_circuit_propagator.cpp
95.9%95.9%
 95.9 % 260 / 271 100.0 % 39 / 39 74.0 % 151 / 204
theory_bool.cpp
89.7%89.7%
 89.7 % 26 / 29 80.0 % 4 / 5 77.8 % 14 / 18
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