LCOV - differential code coverage report
Current view: top level - src/backend/optimizer/util - predtest.c (source / functions) Coverage Total Hit UBC GBC GNC CBC DCB
Current: c3df85756ceb0246958ef2b72c04aba51e52de13 vs 167cb26718e3eae4fef470900b4cd1d434f15649 Lines: 94.5 % 713 674 39 1 2 671 2
Current Date: 2025-12-18 07:33:40 +0900 Functions: 100.0 % 26 26 2 24
Baseline: lcov-20251218-005734-baseline Branches: 81.1 % 514 417 97 1 416
Baseline Date: 2025-12-17 11:55:04 -0800 Line coverage date bins:
Legend: Lines:     hit not hit
Branches: + taken - not taken # not executed 		(7,30] days: 100.0 % 2 2 2
(30,360] days: 100.0 % 14 14 14
(360..) days: 94.4 % 697 658 39 1 657
Function coverage date bins:
(360..) days: 100.0 % 26 26 2 24
Branch coverage date bins:
(30,360] days: 100.0 % 4 4 4
(360..) days: 81.0 % 510 413 97 1 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 96850 86.6 % (84 / 97) 70.0 % (63 / 90)
clause_is_strict_for CBC 6625 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_refuted_by_recurse CBC 115446 95.5 % (107 / 112) 88.8 % (71 / 80)
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)
lookup_proof_cache CBC 19469 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 92072 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 90990 91.7 % (11 / 12) 80.0 % (8 / 10)
predicate_refuted_by CBC 25563 91.7 % (11 / 12) 87.5 % (7 / 8)
InvalidateOprProofCacheCallBack CBC 238 100.0 % (7 / 7) 75.0 % (3 / 4)
arrayconst_cleanup_fn CBC 6141 100.0 % (7 / 7)
arrayconst_next_fn CBC 15722 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayconst_startup_fn GNC 6141 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 1021 100.0 % (5 / 5)
arrayexpr_next_fn CBC 1027 100.0 % (7 / 7) 100.0 % (2 / 2)
arrayexpr_startup_fn GNC 1021 100.0 % (16 / 16)
boolexpr_startup_fn CBC 20212 100.0 % (4 / 4)
get_btree_test_op CBC 17936 100.0 % (5 / 5) 100.0 % (2 / 2)
list_cleanup_fn CBC 54360 100.0 % (2 / 2)
list_next_fn CBC 159043 100.0 % (7 / 7) 100.0 % (2 / 2)
list_startup_fn CBC 34148 100.0 % (4 / 4)
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)
predicate_classify CBC 386234 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by CBC 46698 100.0 % (12 / 12) 100.0 % (8 / 8)
predicate_implied_by_simple_clause CBC 62777 100.0 % (39 / 39) 71.4 % (25 / 35)

Generated by: LCOV version 2.4-beta