LCOV - differential code coverage report
Current view: top level - src/backend/optimizer/util - predtest.c (source / functions) Coverage Total Hit UBC CBC
Current: b45a8d7d8b306b43f31a002f1b3f1dddc8defeaf vs 8767b449a3a1e75626dfb08f24da54933171d4c5 Lines: 94.4 % 713 673 40 673
Current Date: 2025-10-28 08:26:42 +0900 Functions: 100.0 % 26 26 26
Baseline: lcov-20251028-005825-baseline Branches: 80.9 % 514 416 98 416
Baseline Date: 2025-10-27 06:37:35 +0000 Line coverage date bins:
Legend: Lines:     hit not hit
Branches: + taken - not taken # not executed 		(30,360] days: 100.0 % 19 19 19
(360..) days: 94.2 % 694 654 40 654
Function coverage date bins:
(360..) days: 100.0 % 26 26 26
Branch coverage date bins:
(30,360] days: 100.0 % 4 4 4
(360..) days: 80.8 % 510 412 98 412

Function Name Sort by function name TLA Hit count Sort by function hit count Lines Sort by unexercised lines in function Branches Sort by unexercised branches in function
operator_predicate_proof CBC 95577 85.6 % (83 / 97) 68.9 % (62 / 90)
clause_is_strict_for CBC 6634 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_implied_by_simple_clause CBC 61805 100.0 % (39 / 39) 71.4 % (25 / 35)
predicate_refuted_by_recurse CBC 113628 95.5 % (107 / 112) 88.8 % (71 / 80)
predicate_refuted_by_simple_clause CBC 74376 91.7 % (55 / 60) 77.5 % (31 / 40)
predicate_classify CBC 379966 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by_recurse CBC 76355 95.4 % (83 / 87) 88.1 % (52 / 59)
lookup_proof_cache CBC 19364 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 90692 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 89796 91.7 % (11 / 12) 80.0 % (8 / 10)
InvalidateOprProofCacheCallBack CBC 233 100.0 % (7 / 7) 75.0 % (3 / 4)
predicate_refuted_by CBC 25173 91.7 % (11 / 12) 87.5 % (7 / 8)
arrayconst_next_fn CBC 15079 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayexpr_next_fn CBC 595 100.0 % (7 / 7) 100.0 % (2 / 2)
get_btree_test_op CBC 17927 100.0 % (5 / 5) 100.0 % (2 / 2)
list_next_fn CBC 156821 100.0 % (7 / 7) 100.0 % (2 / 2)
operator_same_subexprs_lookup CBC 1437 100.0 % (5 / 5) 100.0 % (2 / 2)
operator_same_subexprs_proof CBC 2638 100.0 % (7 / 7) 100.0 % (6 / 6)
predicate_implied_by CBC 46152 100.0 % (12 / 12) 100.0 % (8 / 8)
arrayconst_cleanup_fn CBC 5939 100.0 % (7 / 7)
arrayconst_startup_fn CBC 5939 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 589 100.0 % (5 / 5)
arrayexpr_startup_fn CBC 589 100.0 % (16 / 16)
boolexpr_startup_fn CBC 20156 100.0 % (4 / 4)
list_cleanup_fn CBC 53600 100.0 % (2 / 2)
list_startup_fn CBC 33444 100.0 % (4 / 4)

Generated by: LCOV version 2.4-beta