LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab.c (source / functions) Hit Total Coverage Test: project_test.lcov Lines: 1635 2221 73.6 % Date: 2018-11-06 13:10:25 Functions: 119 135 88.1 %

Function Name	Hit count
add_div_constraints	463343
add_eq	130535
add_zero_row	5994
at_least_one	8567565
at_least_zero	64231
check_table	0
close_row	11612756
con_drop_entries	0
con_is_redundant	1689588
cut_to_hyperplane	32071
detect_constant_with_tmp	6347
div_is_nonneg	463343
drop_bmap_div	466343
drop_col	467087
drop_eq	0
drop_last_con_in_row	32071
drop_row	18526086
drop_samples_since	136010
extract_integer_sample	3379675
find_pivot	71776998
free_undo	7359789
free_undo_record	121034131
gauss_if_shared	0
get_constant	6369
get_rounded_sample_value	156112
ineq_for_div	463343
is_constant	6369
isl_basic_map_update_from_tab	3828730
isl_basic_set_update_from_tab	89647
isl_tab_add_div	432152
isl_tab_add_eq	6443
isl_tab_add_ineq	79557146
isl_tab_add_row	80418930
isl_tab_add_sample	213522
isl_tab_add_valid_eq	46127
isl_tab_alloc	7221391
isl_tab_allocate_con	80456859
isl_tab_allocate_var	0
isl_tab_check_con	15079105
isl_tab_clear_undo	1146
isl_tab_cone_is_bounded	0
isl_tab_detect_constants	848
isl_tab_detect_implicit_equalities	3803028
isl_tab_detect_redundant	544802
isl_tab_drop_sample	385819
isl_tab_dump	0
isl_tab_dup	136010
isl_tab_extend_cons	7674611
isl_tab_extend_vars	498930
isl_tab_free	7385285
isl_tab_freeze_constraint	50495221
isl_tab_from_basic_map	7180445
isl_tab_from_basic_set	3421899
isl_tab_from_recession_cone	30253
isl_tab_get_ctx	58195569
isl_tab_get_sample_value	645790
isl_tab_ineq_type	183111
isl_tab_init_samples	10693
isl_tab_insert_div	463343
isl_tab_insert_var	498930
isl_tab_is_constant	744
isl_tab_is_equality	38203287
isl_tab_is_redundant	15079105
isl_tab_kill_col	12634019
isl_tab_make_equalities_explicit	1580
isl_tab_mark_empty	8771765
isl_tab_mark_rational	1234
isl_tab_mark_redundant	41404408
isl_tab_min	154411
isl_tab_min_at_most_neg_one	2285077
isl_tab_need_undo	1146
isl_tab_peek_bset	302001
isl_tab_pivot	58195569
isl_tab_print_internal	0
isl_tab_product	1242
isl_tab_push	24138149
isl_tab_push_basis	0
isl_tab_push_callback	136010
isl_tab_push_var	250013033
isl_tab_relax	65
isl_tab_restore_redundant	366304
isl_tab_rollback	7400786
isl_tab_row_is_redundant	419605706
isl_tab_sample_is_integer	3729550
isl_tab_save_samples	146703
isl_tab_select_facet	1315
isl_tab_shift_var	0
isl_tab_sign_of_max	0
isl_tab_snap	12570388
isl_tab_swap_constraints	0
isl_tab_track_bmap	3008625
isl_tab_track_bset	30253
isl_tab_unrestrict	848
isl_tab_var_from_row	1382830212
max_is_manifestly_unbounded	32209952
may_be_equality	83817619
min_is_manifestly_unbounded	8459753
perform_undo	119994727
perform_undo_var	95361284
pivot_row	56963456
push_union	274433895
reached	11677
restore_basis	0
restore_last_redundant	8511602
restore_row	82443238
rotate_constraints	0
row_at_most_neg_one	1716599
row_cmp	46226555
row_is_big	1676974
row_is_manifestly_non_integral	56449980
row_is_manifestly_zero	52570
row_is_neg	91788910
row_sgn	67147886
select_marked	24997732
separation_type	41132
sign_of_max	20183035
sign_of_min	535
swap_cols	9622839
swap_eq	0
swap_rows	39149816
tab_is_manifestly_empty	11612756
tab_mat_product	1242
to_col	49984
to_row	21287503
unrelax	38
ununrestrict	847
update_con_after_move	0
update_index1	30680
update_index2	30680
update_row_sign	58195569
var_drop_entry	467087
var_from_col	526218978
var_from_index	2004410474
var_insert_entry	498930
var_reaches	8497

Generated by: LCOV version 1.12