LCOV - differential code coverage report
Current view: top level - src/backend/optimizer/util - predtest.c (source / functions) Coverage Total Hit UBC CBC
Current: c38de3ae6098ccf1904109f2e550eb4777f66024 vs e352ac8c5c90ed6ce792f044c22145578542a330 Lines: 94.5 % 713 674 39 674
Current Date: 2026-11-05 14:14:01 +0100 Functions: 100.0 % 26 26 26
Baseline: lcov-20261105-baseline Branches: 81.1 % 514 417 97 417
Baseline Date: 2026-11-05 14:14:01 +0100 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 671
Function coverage date bins:
(30,360] days: 100.0 % 1 1 1
(360..) days: 100.0 % 25 25 25
Branch coverage date bins:
(360..) days: 81.1 % 514 417 97 417

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 145033 86.6 % (84 / 97) 70.0 % (63 / 90)
clause_is_strict_for CBC 11026 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_refuted_by_recurse CBC 187775 95.5 % (107 / 112) 88.8 % (71 / 80)
predicate_refuted_by_simple_clause CBC 122353 91.7 % (55 / 60) 77.5 % (31 / 40)
predicate_implied_by_recurse CBC 110166 95.4 % (83 / 87) 88.1 % (52 / 59)
lookup_proof_cache CBC 32221 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 149511 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 148081 91.7 % (11 / 12) 80.0 % (8 / 10)
predicate_refuted_by CBC 40727 91.7 % (11 / 12) 87.5 % (7 / 8)
InvalidateOprProofCacheCallBack CBC 705 100.0 % (7 / 7) 75.0 % (3 / 4)
arrayconst_cleanup_fn CBC 9443 100.0 % (7 / 7)
arrayconst_next_fn CBC 24289 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayconst_startup_fn CBC 9443 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 818 100.0 % (5 / 5)
arrayexpr_next_fn CBC 836 100.0 % (7 / 7) 100.0 % (2 / 2)
arrayexpr_startup_fn CBC 818 100.0 % (16 / 16)
boolexpr_startup_fn CBC 32818 100.0 % (4 / 4)
get_btree_test_op CBC 29859 100.0 % (5 / 5) 100.0 % (2 / 2)
list_cleanup_fn CBC 87240 100.0 % (2 / 2)
list_next_fn CBC 255308 100.0 % (7 / 7) 100.0 % (2 / 2)
list_startup_fn CBC 54422 100.0 % (4 / 4)
operator_same_subexprs_lookup CBC 2362 100.0 % (5 / 5) 100.0 % (2 / 2)
operator_same_subexprs_proof CBC 4356 100.0 % (7 / 7) 100.0 % (6 / 6)
predicate_classify CBC 595882 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by CBC 64337 100.0 % (12 / 12) 100.0 % (8 / 8)
predicate_implied_by_simple_clause CBC 88526 100.0 % (39 / 39) 71.4 % (25 / 35)

Generated by: LCOV version 2.0-1