| LCOV - differential code coverage report | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function Name |
TLA | Hit count |
Lines |
Branches |
| consider_new_or_clause | CBC | 234 | 86.7 % (13 / 15) | 50.0 % (3 / 6) |
| is_safe_restriction_clause_for | CBC | 6543 | 75.0 % (6 / 8) | 66.7 % (4 / 6) |
| extract_or_clause | CBC | 3093 | 96.7 % (29 / 30) | 84.4 % (27 / 32) |
| extract_restriction_or_clauses | CBC | 163035 | 93.8 % (15 / 16) | 90.0 % (18 / 20) |
| Generated by: LCOV version 2.4-beta |