LCOV - code coverage report

Current view: top level - src - subtype.c (source / functions) Hit Total Coverage Test: [build process] commit ef510b1f346f4c9f9d86eaceace5ca54961a1dbc Lines: 2395 2539 94.3 % Date: 2022-07-17 01:01:28 Functions: 100 102 98.0 % Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 2580 2962 87.1 %

Function Name	Hit count
args_morespecific_fix1	43860
bound_var_below	2159
check_unsat_bound	74372
check_vararg_length	9455430
compareto_var	54338
concrete_min	73362
count_occurs	39432800
eq_msp	2997210
exists_subtype	284584000
find_var_body	612999
finish_unionall	2227340
fix_inferred_var_bound	2541380
flip_vars	990310
forall_exists_equal	43636400
forall_exists_subtype	274675000
free_env	312918000
ijl_has_empty_intersection	9375650
ijl_intersect_types	0
ijl_is_not_broken_subtype	1052770
ijl_isa	287785000
ijl_obvious_subtype	224486000
ijl_subtype	272539000
ijl_subtype_env	278139000
ijl_subtype_env_size	6307990
ijl_type_intersection	2369400
ijl_type_intersection_with_env	452
ijl_type_morespecific	12043100
ijl_type_morespecific_no_subtype	0
ijl_types_equal	69546400
in_union	21370800
init_stenv	232971000
intersect	38005300
intersect_all	11986700
intersect_aside	2425130
intersect_invariant	3219930
intersect_sub_datatype	283553
intersect_tuple	3863000
intersect_type_type	75236
intersect_types	9375650
intersect_union	4684110
intersect_unionall	10968500
intersect_unionall_	11226900
intersect_var	2468270
intersect_vararg_length	70449
intersect_varargs	7931
is_definite_length_tuple_type	43657700
is_indefinite_length_tuple_type	44633900
is_leaf_bound	4531030
is_leaf_typevar	1651930
jl_has_intersect_type_not_kind	2438450
jl_obviously_unequal	368092
jl_outer_unionall_vars	118966
jl_subtype_matching	161971
jl_tuple1_isa	33510900
jl_tuple_isa	12
jl_type_intersection_env	2398740
jl_type_intersection_env_s	18562000
lookup	100452000
might_intersect_concrete	2479040
nth_tuple_elt	9013580
num_occurs	327172
obvious_subtype	810548000
obviously_disjoint	137095000
obviously_egal	102364000
obviously_unequal	190441000
pick_union_element	122661000
reachable_var	9555000
record_var_occurrence	72033700
rename_unionall	14905000
restore_env	281422000
save_env	312918000
set_bound	59747
set_var_to_const	199444
simple_join	17747500
simple_meet	9197470
statestack_get	304655000
statestack_set	145967000
sub_msp	5825070
subtype	521422000
subtype_bounds_in_env	2313980
subtype_by_bounds	1248890
subtype_ccheck	29004700
subtype_in_env	2528460
subtype_in_env_	4842440
subtype_in_env_existential	3289920
subtype_left_var	22585100
subtype_tuple	61823300
subtype_tuple_tail	59833600
subtype_tuple_varargs	508314
subtype_unionall	117286000
switch_union_tuple	8904
try_subtype_in_env	178209
tuple_full_length	43860
tuple_morespecific	1866630
type_morespecific_	42252700
unalias_unionall	117286000
var_gt	21824100
var_lt	32940000
var_occurs_inside	33622200
var_occurs_invariant	1929170
var_outside	1594670
widen_Type	35447700

Generated by: LCOV version 1.14