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

Generated by: LCOV version 1.14