LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Function Name | Hit count |
InvalidateOprProofCacheCallBack | 808 |
arrayexpr_cleanup_fn | 2054 |
arrayexpr_next_fn | 2054 |
arrayexpr_startup_fn | 2054 |
operator_same_subexprs_lookup | 3054 |
operator_same_subexprs_proof | 7082 |
arrayconst_cleanup_fn | 9790 |
arrayconst_startup_fn | 9790 |
clause_is_strict_for | 13076 |
arrayconst_next_fn | 25254 |
get_btree_test_op | 34908 |
lookup_proof_cache | 37962 |
boolexpr_startup_fn | 39090 |
predicate_refuted_by | 47282 |
list_startup_fn | 56484 |
predicate_implied_by | 81118 |
list_cleanup_fn | 95574 |
predicate_implied_by_simple_clause | 102562 |
predicate_implied_by_recurse | 123648 |
predicate_refuted_by_simple_clause | 138424 |
operator_predicate_proof | 167364 |
extract_strong_not_arg | 167466 |
extract_not_arg | 169598 |
predicate_refuted_by_recurse | 213168 |
list_next_fn | 277548 |
predicate_classify | 673632 |
Generated by: LCOV version 1.14 |