LCOV - differential code coverage report | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![]() |
Function Name ![]() |
TLA | Hit count ![]() |
Lines ![]() |
Branches ![]() |
InvalidateOprProofCacheCallBack | CBC | 270 | 100.0 % (7 / 7) | 75.0 % (3 / 4) |
arrayexpr_cleanup_fn | CBC | 697 | 100.0 % (5 / 5) | |
arrayexpr_startup_fn | CBC | 697 | 100.0 % (16 / 16) | |
arrayexpr_next_fn | CBC | 703 | 100.0 % (7 / 7) | 100.0 % (2 / 2) |
operator_same_subexprs_lookup | CBC | 1458 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
operator_same_subexprs_proof | CBC | 2658 | 100.0 % (7 / 7) | 100.0 % (6 / 6) |
arrayconst_cleanup_fn | CBC | 5892 | 100.0 % (7 / 7) | |
arrayconst_startup_fn | CBC | 5892 | 100.0 % (25 / 25) | |
clause_is_strict_for | CBC | 6634 | 87.0 % (47 / 54) | 76.5 % (52 / 68) |
arrayconst_next_fn | CBC | 14940 | 100.0 % (8 / 8) | 100.0 % (2 / 2) |
get_btree_test_op | CBC | 17945 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
lookup_proof_cache | CBC | 19403 | 97.0 % (64 / 66) | 88.0 % (44 / 50) |
boolexpr_startup_fn | CBC | 20145 | 100.0 % (4 / 4) | |
predicate_refuted_by | CBC | 25115 | 91.7 % (11 / 12) | 87.5 % (7 / 8) |
list_startup_fn | CBC | 33588 | 100.0 % (4 / 4) | |
predicate_implied_by | CBC | 45759 | 100.0 % (12 / 12) | 100.0 % (8 / 8) |
list_cleanup_fn | CBC | 53733 | 100.0 % (2 / 2) | |
predicate_implied_by_simple_clause | CBC | 61352 | 100.0 % (39 / 39) | 71.4 % (25 / 35) |
predicate_refuted_by_simple_clause | CBC | 74483 | 91.7 % (55 / 60) | 77.5 % (31 / 40) |
predicate_implied_by_recurse | CBC | 75870 | 95.4 % (83 / 87) | 88.1 % (52 / 59) |
extract_strong_not_arg | CBC | 89946 | 91.7 % (11 / 12) | 80.0 % (8 / 10) |
extract_not_arg | CBC | 90886 | 92.9 % (13 / 14) | 85.7 % (12 / 14) |
operator_predicate_proof | CBC | 95163 | 85.6 % (83 / 97) | 68.9 % (62 / 90) |
predicate_refuted_by_recurse | CBC | 113922 | 95.5 % (107 / 112) | 88.8 % (71 / 80) |
list_next_fn | CBC | 157206 | 100.0 % (7 / 7) | 100.0 % (2 / 2) |
predicate_classify | CBC | 379584 | 100.0 % (39 / 39) | 78.1 % (25 / 32) |
![]() |
Generated by: LCOV version 2.4-beta |