LCOV - differential code coverage report
Current view:
top level
-
src
/
backend
/
optimizer
/
util
- predtest.c
(
source
/ functions)
Coverage
Total
Hit
LBC
UIC
UBC
GBC
GIC
GNC
CBC
EUB
ECB
Current:
Differential Code Coverage HEAD vs 15
Lines:
94.3 %
667
629
15
22
1
6
375
14
234
31
380
Current Date:
2023-04-08 17:13:01
Functions:
100.0 %
26
26
26
26
Baseline:
15
Line coverage date bins:
Baseline Date:
2023-04-08 15:09:40
(120,180] days
:
100.0 %
14
14
14
View type:
Flat
(240..) days
:
94.2 %
653
615
15
22
1
6
375
234
31
368
Legend:
Lines:
hit
not hit
Function coverage date bins:
(240..) days
:
52.0 %
50
26
26
24
Function Name
TLA
Hit count
Lines
InvalidateOprProofCacheCallBack
ECB
280
arrayconst_cleanup_fn
GIC
4570
100.0 % (7 / 7)
arrayconst_next_fn
GIC
11765
100.0 % (8 / 8)
arrayconst_startup_fn
GIC
4570
100.0 % (25 / 25)
arrayexpr_cleanup_fn
ECB
478
arrayexpr_next_fn
ECB
478
arrayexpr_startup_fn
GIC
478
100.0 % (16 / 16)
boolexpr_startup_fn
ECB
19269
clause_is_strict_for
GIC
2421
87.0 % (47 / 54)
extract_not_arg
GIC
78501
92.9 % (13 / 14)
extract_strong_not_arg
GIC
77735
91.7 % (11 / 12)
get_btree_test_op
ECB
17436
list_cleanup_fn
GIC
45199
100.0 % (2 / 2)
list_next_fn
ECB
129352
list_startup_fn
GIC
25930
100.0 % (4 / 4)
lookup_proof_cache
GIC
18825
97.0 % (64 / 66)
operator_predicate_proof
ECB
82585
operator_same_subexprs_lookup
ECB
1389
operator_same_subexprs_proof
GIC
2418
100.0 % (7 / 7)
predicate_classify
GIC
301704
100.0 % (39 / 39)
predicate_implied_by
ECB
32580
predicate_implied_by_recurse
ECB
51877
predicate_implied_by_simple_clause
ECB
41952
predicate_refuted_by
ECB
21659
predicate_refuted_by_recurse
GIC
98975
95.4 % (104 / 109)
predicate_refuted_by_simple_clause
GIC
64000
93.8 % (30 / 32)
Generated by:
LCOV version v1.16-55-g56c0a2a