LCOV - code coverage report
Current view: top level - src - subtype.c (source / functions) Hit Total Coverage
Test: [test only] commit 0f242327d2cc9bd130497f44b6350c924185606a Lines: 2464 2539 97.0 %
Date: 2022-07-16 23:42:53 Functions: 101 102 99.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 2736 2962 92.4 %

Function Name Sort by function name Hit count Sort by hit count
args_morespecific_fix1 283788
bound_var_below 27579
check_unsat_bound 1330370
check_vararg_length 38084200
compareto_var 329954
concrete_min 404174
count_occurs 351569000
eq_msp 12350400
exists_subtype 2640570000
find_var_body 2813250
finish_unionall 32357400
fix_inferred_var_bound 29039900
flip_vars 11121600
forall_exists_equal 445603000
forall_exists_subtype 2579600000
free_env 2935780000
ijl_has_empty_intersection 64219800
ijl_intersect_types 77146
ijl_is_not_broken_subtype 5882170
ijl_isa 3707640000
ijl_obvious_subtype 2076350000
ijl_subtype 2535070000
ijl_subtype_env 2584290000
ijl_subtype_env_size 56133200
ijl_type_intersection 26431000
ijl_type_intersection_with_env 200553
ijl_type_morespecific 80403100
ijl_type_morespecific_no_subtype 0
ijl_types_equal 2856850000
in_union 410811000
init_stenv 2155900000
intersect 398724000
intersect_all 74647900
intersect_aside 25323300
intersect_invariant 38446000
intersect_sub_datatype 4851420
intersect_tuple 33007200
intersect_type_type 804539
intersect_types 64297000
intersect_union 55594100
intersect_unionall 147765000
intersect_unionall_ 149350000
intersect_var 19223000
intersect_vararg_length 645491
intersect_varargs 114111
is_definite_length_tuple_type 446432000
is_indefinite_length_tuple_type 457019000
is_leaf_bound 39153300
is_leaf_typevar 10668100
jl_has_intersect_type_not_kind 26751800
jl_obviously_unequal 829283
jl_outer_unionall_vars 200957
jl_subtype_matching 2254300
jl_tuple1_isa 313097000
jl_tuple_isa 2931
jl_type_intersection_env 27057900
jl_type_intersection_env_s 145698000
lookup 1505350000
might_intersect_concrete 21970800
nth_tuple_elt 49564300
num_occurs 1820100
obvious_subtype 7653810000
obviously_disjoint 918688000
obviously_egal 1165580000
obviously_unequal 9307380000
pick_union_element 1138440000
reachable_var 108956000
record_var_occurrence 981843000
rename_unionall 104961000
restore_env 2533950000
save_env 2935780000
set_bound 595666
set_var_to_const 1489360
simple_join 259772000
simple_meet 167669000
statestack_get 3220990000
statestack_set 1273830000
sub_msp 32647200
subtype 5224850000
subtype_bounds_in_env 29121400
subtype_by_bounds 18632400
subtype_ccheck 414763000
subtype_in_env 23702200
subtype_in_env_ 52823600
subtype_in_env_existential 36787600
subtype_left_var 238926000
subtype_tuple 519108000
subtype_tuple_tail 483787000
subtype_tuple_varargs 37049700
subtype_unionall 1299150000
switch_union_tuple 60335
try_subtype_in_env 1533280
tuple_full_length 283788
tuple_morespecific 10351100
type_morespecific_ 246603000
unalias_unionall 1299150000
var_gt 269632000
var_lt 435730000
var_occurs_inside 1077490000
var_occurs_invariant 13094300
var_outside 26198800
widen_Type 397864000

Generated by: LCOV version 1.14