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 15:15:32
Functions:
100.0 %
26
26
26
26
Baseline:
15
Baseline Date:
2023-04-08 15:09:40
Legend:
Lines:
hit
not hit
Function Name
TLA
Hit count
Lines
operator_predicate_proof
GIC
82585
85.6 % (83 / 97)
predicate_refuted_by_recurse
GIC
98975
95.4 % (104 / 109)
predicate_refuted_by_simple_clause
GIC
64000
93.8 % (30 / 32)
extract_not_arg
GIC
78501
92.9 % (13 / 14)
predicate_refuted_by
GIC
21659
91.7 % (11 / 12)
arrayconst_cleanup_fn
GIC
4570
100.0 % (7 / 7)
arrayexpr_cleanup_fn
GIC
478
100.0 % (5 / 5)
get_btree_test_op
GIC
17436
100.0 % (5 / 5)
list_next_fn
GIC
129352
100.0 % (7 / 7)
operator_same_subexprs_lookup
GIC
1389
100.0 % (5 / 5)
predicate_classify
GIC
301704
100.0 % (39 / 39)
predicate_implied_by
GIC
32580
100.0 % (12 / 12)
InvalidateOprProofCacheCallBack
ECB
280
arrayconst_next_fn
ECB
11765
arrayconst_startup_fn
ECB
4570
arrayexpr_next_fn
ECB
478
arrayexpr_startup_fn
ECB
478
boolexpr_startup_fn
ECB
19269
clause_is_strict_for
ECB
2421
extract_strong_not_arg
ECB
77735
list_cleanup_fn
ECB
45199
list_startup_fn
ECB
25930
lookup_proof_cache
ECB
18825
operator_same_subexprs_proof
ECB
2418
predicate_implied_by_recurse
ECB
51877
predicate_implied_by_simple_clause
ECB
41952
Generated by:
LCOV version v1.16-55-g56c0a2a