LCOV - differential code coverage report | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
Function Name ![]() |
TLA | Hit count ![]() |
Lines ![]() |
negate_clause | CBC | 9913 | 66.7 % (66 / 99) |
process_duplicate_ors | CBC | 3404 | 56.9 % (33 / 58) |
find_duplicate_ors | CBC | 253131 | 70.0 % (28 / 40) |
pull_ands | CBC | 43379 | 77.8 % (7 / 9) |
pull_ors | CBC | 3404 | 77.8 % (7 / 9) |
canonicalize_qual | CBC | 127491 | 83.3 % (5 / 6) |
![]() |
Generated by: LCOV version v1.16-55-g56c0a2a |