| 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 |