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: 380a8b2ea024c33a35e7abc8628e7c4f52f9f9f9 vs db5ed03217b9c238703df8b4b286115d6e940488 Lines: 94.5 % 713 674 39 1 3 670 3
Current Date: 2026-05-29 21:51:00 -0400 Functions: 100.0 % 26 26 3 23 1
Baseline: lcov-20260530-034037-baseline Branches: 81.1 % 514 417 97 1 416
Baseline Date: 2026-05-29 14:39:03 -0700 Line coverage date bins:
Legend: Lines:     hit not hit
Branches: + taken - not taken # not executed 		(30,360] days: 100.0 % 3 3 3
(360..) days: 94.5 % 710 671 39 1 670
Function coverage date bins:
(30,360] days: 100.0 % 1 1 1
(360..) days: 100.0 % 25 25 2 23
Branch coverage date bins:
(360..) days: 81.1 % 514 417 97 1 416

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 144843 86.6 % (84 / 97) 70.0 % (63 / 90)
clause_is_strict_for CBC 10882 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_refuted_by_recurse CBC 190666 95.5 % (107 / 112) 88.8 % (71 / 80)
predicate_refuted_by_simple_clause CBC 124105 91.7 % (55 / 60) 77.5 % (31 / 40)
predicate_implied_by_recurse CBC 110115 95.4 % (83 / 87) 88.1 % (52 / 59)
lookup_proof_cache CBC 32263 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 151763 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 150205 91.7 % (11 / 12) 80.0 % (8 / 10)
predicate_refuted_by CBC 40933 91.7 % (11 / 12) 87.5 % (7 / 8)
InvalidateOprProofCacheCallBack GNC 356 100.0 % (7 / 7) 75.0 % (3 / 4)
arrayconst_cleanup_fn CBC 9922 100.0 % (7 / 7)
arrayconst_next_fn CBC 24769 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayconst_startup_fn GNC 9922 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 1231 100.0 % (5 / 5)
arrayexpr_next_fn CBC 1241 100.0 % (7 / 7) 100.0 % (2 / 2)
arrayexpr_startup_fn GNC 1231 100.0 % (16 / 16)
boolexpr_startup_fn CBC 33187 100.0 % (4 / 4)
get_btree_test_op CBC 29855 100.0 % (5 / 5) 100.0 % (2 / 2)
list_cleanup_fn CBC 88573 100.0 % (2 / 2)
list_next_fn CBC 259535 100.0 % (7 / 7) 100.0 % (2 / 2)
list_startup_fn CBC 55386 100.0 % (4 / 4)
operator_same_subexprs_lookup CBC 2408 100.0 % (5 / 5) 100.0 % (2 / 2)
operator_same_subexprs_proof CBC 4438 100.0 % (7 / 7) 100.0 % (6 / 6)
predicate_classify CBC 601562 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by CBC 63389 100.0 % (12 / 12) 100.0 % (8 / 8)
predicate_implied_by_simple_clause CBC 87705 100.0 % (39 / 39) 71.4 % (25 / 35)

Generated by: LCOV version 2.5.0-beta