LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/bv/bitblast Hit Total Coverage
Test: coverage.info Lines: 726 852 85.2 %
Date: 2026-02-18 21:00:04 Functions: 83 105 79.0 %
Branches: 388 786 49.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bitblast_proof_generator.cpp
92.9%92.9%
 92.9 % 26 / 28 100.0 % 3 / 3 87.5 % 7 / 8
bitblast_proof_generator.h
50.0%50.0%
 50.0 % 1 / 2 66.7 % 2 / 3 - 0 / 0
bitblast_strategies_template.h
78.8%78.8%
 78.8 % 371 / 471 61.9 % 26 / 42 43.9 % 230 / 524
bitblast_utils.h
86.5%86.5%
 86.5 % 96 / 111 95.0 % 19 / 20 57.1 % 56 / 98
bitblaster.h
95.5%95.5%
 95.5 % 63 / 66 75.0 % 6 / 8 60.0 % 6 / 10
node_bitblaster.cpp
95.3%95.3%
 95.3 % 82 / 86 92.9 % 13 / 14 53.2 % 50 / 94
node_bitblaster.h
50.0%50.0%
 50.0 % 1 / 2 66.7 % 2 / 3 - 0 / 0
proof_bitblaster.cpp
100.0%
 100.0 % 86 / 86 100.0 % 12 / 12 75.0 % 39 / 52

Generated by: LCOV version 1.14