| LCOV - differential code coverage report | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function Name |
TLA | Hit count |
Lines |
Branches |
| arrayexpr_cleanup_fn | CBC | 1663 | 100.0 % (5 / 5) | |
| arrayexpr_startup_fn | GNC | 1663 | 100.0 % (16 / 16) | |
| arrayexpr_next_fn | CBC | 1673 | 100.0 % (7 / 7) | 100.0 % (2 / 2) |
| operator_same_subexprs_lookup | CBC | 2504 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
| operator_same_subexprs_proof | CBC | 4534 | 100.0 % (7 / 7) | 100.0 % (6 / 6) |
| arrayconst_cleanup_fn | CBC | 9924 | 100.0 % (7 / 7) | |
| arrayconst_startup_fn | GNC | 9924 | 100.0 % (25 / 25) | |
| clause_is_strict_for | CBC | 10882 | 87.0 % (47 / 54) | 76.5 % (52 / 68) |
| arrayconst_next_fn | CBC | 24777 | 100.0 % (8 / 8) | 100.0 % (2 / 2) |
| get_btree_test_op | CBC | 29852 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
| lookup_proof_cache | CBC | 32356 | 97.0 % (64 / 66) | 88.0 % (44 / 50) |
| boolexpr_startup_fn | CBC | 33131 | 100.0 % (4 / 4) | |
| predicate_refuted_by | CBC | 41041 | 91.7 % (11 / 12) | 87.5 % (7 / 8) |
| list_startup_fn | CBC | 55913 | 100.0 % (4 / 4) | |
| predicate_implied_by | CBC | 63296 | 100.0 % (12 / 12) | 100.0 % (8 / 8) |
| predicate_implied_by_simple_clause | CBC | 87535 | 100.0 % (39 / 39) | 71.4 % (25 / 35) |
| list_cleanup_fn | CBC | 89044 | 100.0 % (2 / 2) | |
| predicate_implied_by_recurse | CBC | 109831 | 95.4 % (83 / 87) | 88.1 % (52 / 59) |
| predicate_refuted_by_simple_clause | CBC | 124897 | 91.7 % (55 / 60) | 77.5 % (31 / 40) |
| operator_predicate_proof | CBC | 144978 | 86.6 % (84 / 97) | 70.0 % (63 / 90) |
| extract_strong_not_arg | CBC | 151193 | 91.7 % (11 / 12) | 80.0 % (8 / 10) |
| extract_not_arg | CBC | 152943 | 92.9 % (13 / 14) | 85.7 % (12 / 14) |
| predicate_refuted_by_recurse | CBC | 192284 | 95.5 % (107 / 112) | 88.8 % (71 / 80) |
| list_next_fn | CBC | 261014 | 100.0 % (7 / 7) | 100.0 % (2 / 2) |
| predicate_classify | CBC | 604230 | 100.0 % (39 / 39) | 78.1 % (25 / 32) |
| Generated by: LCOV version 2.5.0-beta |