LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/util Hit Total Coverage
Test: coverage.info Lines: 576 1209 47.6 %
Date: 2026-03-09 11:40:42 Functions: 59 96 61.5 %
Branches: 315 751 41.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
boolean_simplification.cpp
57.1%57.1%
 57.1 % 16 / 28 100.0 % 1 / 1 63.3 % 19 / 30
boolean_simplification.h
88.6%88.6%
 88.6 % 62 / 70 100.0 % 7 / 7 58.0 % 29 / 50
ite_utilities.cpp
45.6%45.6%
 45.6 % 488 / 1070 63.5 % 47 / 74 40.9 % 266 / 651
ite_utilities.h
24.4%24.4%
 24.4 % 10 / 41 28.6 % 4 / 14 5.0 % 1 / 20

Generated by: LCOV version 1.14