| LCOV - differential code coverage report | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function Name |
TLA | Hit count |
Lines |
Branches |
| InvalidateOprProofCacheCallBack | CBC | 238 | 100.0 % (7 / 7) | 75.0 % (3 / 4) |
| arrayexpr_cleanup_fn | CBC | 1021 | 100.0 % (5 / 5) | |
| arrayexpr_startup_fn | GNC | 1021 | 100.0 % (16 / 16) | |
| arrayexpr_next_fn | CBC | 1027 | 100.0 % (7 / 7) | 100.0 % (2 / 2) |
| operator_same_subexprs_lookup | CBC | 1533 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
| operator_same_subexprs_proof | CBC | 2756 | 100.0 % (7 / 7) | 100.0 % (6 / 6) |
| arrayconst_cleanup_fn | CBC | 6141 | 100.0 % (7 / 7) | |
| arrayconst_startup_fn | GNC | 6141 | 100.0 % (25 / 25) | |
| clause_is_strict_for | CBC | 6625 | 87.0 % (47 / 54) | 76.5 % (52 / 68) |
| arrayconst_next_fn | CBC | 15722 | 100.0 % (8 / 8) | 100.0 % (2 / 2) |
| get_btree_test_op | CBC | 17936 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
| lookup_proof_cache | CBC | 19469 | 97.0 % (64 / 66) | 88.0 % (44 / 50) |
| boolexpr_startup_fn | CBC | 20212 | 100.0 % (4 / 4) | |
| predicate_refuted_by | CBC | 25563 | 91.7 % (11 / 12) | 87.5 % (7 / 8) |
| list_startup_fn | CBC | 34148 | 100.0 % (4 / 4) | |
| predicate_implied_by | CBC | 46698 | 100.0 % (12 / 12) | 100.0 % (8 / 8) |
| list_cleanup_fn | CBC | 54360 | 100.0 % (2 / 2) | |
| predicate_implied_by_simple_clause | CBC | 62777 | 100.0 % (39 / 39) | 71.4 % (25 / 35) |
| predicate_refuted_by_simple_clause | CBC | 75372 | 91.7 % (55 / 60) | 77.5 % (31 / 40) |
| predicate_implied_by_recurse | CBC | 77671 | 95.4 % (83 / 87) | 88.1 % (52 / 59) |
| extract_strong_not_arg | CBC | 90990 | 91.7 % (11 / 12) | 80.0 % (8 / 10) |
| extract_not_arg | CBC | 92072 | 92.9 % (13 / 14) | 85.7 % (12 / 14) |
| operator_predicate_proof | CBC | 96850 | 86.6 % (84 / 97) | 70.0 % (63 / 90) |
| predicate_refuted_by_recurse | CBC | 115446 | 95.5 % (107 / 112) | 88.8 % (71 / 80) |
| list_next_fn | CBC | 159043 | 100.0 % (7 / 7) | 100.0 % (2 / 2) |
| predicate_classify | CBC | 386234 | 100.0 % (39 / 39) | 78.1 % (25 / 32) |
| Generated by: LCOV version 2.4-beta |