LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing/util Hit Total Coverage
Test: coverage.info Lines: 519 1111 46.7 %
Date: 2024-09-04 11:14:07 Functions: 59 96 61.5 %
Branches: 306 697 43.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
boolean_simplification.cpp
55.6%55.6%
55.6 % 15 / 27 100.0 % 1 / 1 64.3 % 18 / 28
boolean_simplification.h
87.7%87.7%
87.7 % 57 / 65 100.0 % 7 / 7 58.0 % 29 / 50
ite_utilities.cpp
44.7%44.7%
44.7 % 437 / 977 63.5 % 47 / 74 43.1 % 258 / 599
ite_utilities.h
23.8%23.8%
23.8 % 10 / 42 28.6 % 4 / 14 5.0 % 1 / 20

Generated by: LCOV version 1.14