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: 0e5ff9b9b45a657aea12440478dc002e9b01f138 vs 0123ce131fca454009439dfa3b2266d1d40737d7 Lines: 94.5 % 713 674 39 1 3 670 3
Current Date: 2026-03-14 14:10:32 -0400 Functions: 100.0 % 26 26 3 23 1
Baseline: lcov-20260315-024220-baseline Branches: 81.1 % 514 417 97 1 416
Baseline Date: 2026-03-14 15:27:56 +0100 Line coverage date bins:
Legend: Lines:     hit not hit
Branches: + taken - not taken # not executed 		(7,30] days: 100.0 % 1 1 1
(30,360] days: 100.0 % 16 16 2 14
(360..) days: 94.4 % 696 657 39 1 656
Function coverage date bins:
(7,30] days: 100.0 % 1 1 1
(360..) days: 100.0 % 25 25 2 23
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 99276 86.6 % (84 / 97) 70.0 % (63 / 90)
clause_is_strict_for CBC 6624 87.0 % (47 / 54) 76.5 % (52 / 68)
predicate_implied_by_simple_clause CBC 65194 100.0 % (39 / 39) 71.4 % (25 / 35)
predicate_refuted_by_recurse CBC 115283 95.5 % (107 / 112) 88.8 % (71 / 80)
predicate_refuted_by_simple_clause CBC 75395 91.7 % (55 / 60) 77.5 % (31 / 40)
predicate_classify CBC 392172 100.0 % (39 / 39) 78.1 % (25 / 32)
predicate_implied_by_recurse CBC 80803 95.4 % (83 / 87) 88.1 % (52 / 59)
lookup_proof_cache CBC 19462 97.0 % (64 / 66) 88.0 % (44 / 50)
extract_not_arg CBC 92005 92.9 % (13 / 14) 85.7 % (12 / 14)
extract_strong_not_arg CBC 90974 91.7 % (11 / 12) 80.0 % (8 / 10)
predicate_refuted_by CBC 25739 91.7 % (11 / 12) 87.5 % (7 / 8)
arrayconst_next_fn CBC 16773 100.0 % (8 / 8) 100.0 % (2 / 2)
arrayexpr_next_fn CBC 919 100.0 % (7 / 7) 100.0 % (2 / 2)
get_btree_test_op CBC 17953 100.0 % (5 / 5) 100.0 % (2 / 2)
list_next_fn CBC 159600 100.0 % (7 / 7) 100.0 % (2 / 2)
operator_same_subexprs_lookup CBC 1509 100.0 % (5 / 5) 100.0 % (2 / 2)
operator_same_subexprs_proof CBC 2715 100.0 % (7 / 7) 100.0 % (6 / 6)
predicate_implied_by CBC 48693 100.0 % (12 / 12) 100.0 % (8 / 8)
arrayconst_cleanup_fn CBC 6558 100.0 % (7 / 7)
arrayconst_startup_fn GNC 6558 100.0 % (25 / 25)
arrayexpr_cleanup_fn CBC 913 100.0 % (5 / 5)
arrayexpr_startup_fn GNC 913 100.0 % (16 / 16)
boolexpr_startup_fn CBC 20435 100.0 % (4 / 4)
list_cleanup_fn CBC 54535 100.0 % (2 / 2)
list_startup_fn CBC 34100 100.0 % (4 / 4)

Generated by: LCOV version 2.4-beta