LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Function Name | Hit count |
InvalidateOprProofCacheCallBack | 732 |
arrayconst_cleanup_fn | 10012 |
arrayconst_next_fn | 26152 |
arrayconst_startup_fn | 10012 |
arrayexpr_cleanup_fn | 1604 |
arrayexpr_next_fn | 1604 |
arrayexpr_startup_fn | 1604 |
boolexpr_startup_fn | 39064 |
clause_is_strict_for | 13076 |
extract_not_arg | 173216 |
extract_strong_not_arg | 171300 |
get_btree_test_op | 34936 |
list_cleanup_fn | 98342 |
list_next_fn | 285872 |
list_startup_fn | 59278 |
lookup_proof_cache | 37906 |
operator_predicate_proof | 173758 |
operator_same_subexprs_lookup | 2970 |
operator_same_subexprs_proof | 7490 |
predicate_classify | 695416 |
predicate_implied_by | 86340 |
predicate_implied_by_recurse | 129830 |
predicate_implied_by_simple_clause | 108238 |
predicate_refuted_by | 47450 |
predicate_refuted_by_recurse | 217878 |
predicate_refuted_by_simple_clause | 141430 |
Generated by: LCOV version 1.14 |