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

Generated by: LCOV version 1.14