LCOV - differential code coverage report
Current view: top level - src/backend/optimizer/util - predtest.c (source / functions) Coverage Total Hit UBC CBC
Current: c70b6db34ffeab48beef1fb4ce61bcad3772b8dd vs 06473f5a344df8c9594ead90a609b86f6724cff8 Lines: 94.4 % 713 673 40 673
Current Date: 2025-09-06 07:49:51 +0900 Functions: 100.0 % 26 26 26
Baseline: lcov-20250908-010021-baseline Branches: 80.9 % 514 416 98 416
Baseline Date: 2025-09-05 08:21:35 +0100 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 95088 85.6 % (83 / 97) 68.9 % (62 / 90)
clause_is_strict_for CBC 6634 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_refuted_by_recurse CBC 113936 95.5 % (107 / 112) 88.8 % (71 / 80)
predicate_refuted_by_simple_clause CBC 74497 91.7 % (55 / 60) 77.5 % (31 / 40)
predicate_implied_by_recurse CBC 75793 95.4 % (83 / 87) 88.1 % (52 / 59)
lookup_proof_cache CBC 19395 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 90900 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 89960 91.7 % (11 / 12) 80.0 % (8 / 10)
predicate_refuted_by CBC 25129 91.7 % (11 / 12) 87.5 % (7 / 8)
InvalidateOprProofCacheCallBack CBC 248 100.0 % (7 / 7) 75.0 % (3 / 4)
arrayconst_cleanup_fn CBC 5894 100.0 % (7 / 7)
arrayconst_next_fn CBC 14938 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayconst_startup_fn CBC 5894 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 697 100.0 % (5 / 5)
arrayexpr_next_fn CBC 703 100.0 % (7 / 7) 100.0 % (2 / 2)
arrayexpr_startup_fn CBC 697 100.0 % (16 / 16)
boolexpr_startup_fn CBC 20145 100.0 % (4 / 4)
get_btree_test_op CBC 17937 100.0 % (5 / 5) 100.0 % (2 / 2)
list_cleanup_fn CBC 53729 100.0 % (2 / 2)
list_next_fn CBC 157194 100.0 % (7 / 7) 100.0 % (2 / 2)
list_startup_fn CBC 33584 100.0 % (4 / 4)
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)
predicate_classify CBC 379458 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by CBC 45690 100.0 % (12 / 12) 100.0 % (8 / 8)
predicate_implied_by_simple_clause CBC 61277 100.0 % (39 / 39) 71.4 % (25 / 35)

Generated by: LCOV version 2.4-beta