LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab.c (source / functions) Hit Total Coverage Test: 2018-10-31_point_maint_greina16.lcov Lines: 1453 2221 65.4 % Date: 2018-11-01 11:27:00 Functions: 105 135 77.8 %

Function Name	Hit count
add_div_constraints	0
add_eq	18822658257
add_zero_row	24347
at_least_one	245410099
at_least_zero	7208278280
check_table	0
close_row	387194228
con_drop_entries	49454
con_is_redundant	12000225019
cut_to_hyperplane	3262293
detect_constant_with_tmp	3526349
div_is_nonneg	0
drop_bmap_div	0
drop_col	0
drop_eq	49454
drop_last_con_in_row	3262293
drop_row	25065482622
drop_samples_since	0
extract_integer_sample	68904148
find_pivot	27492068353
free_undo	5459292214
free_undo_record	53023335647
gauss_if_shared	52565
get_constant	3946123
get_rounded_sample_value	147512582
ineq_for_div	0
is_constant	3946123
isl_basic_map_update_from_tab	3069314595
isl_basic_set_update_from_tab	1065652
isl_tab_add_div	0
isl_tab_add_eq	33256
isl_tab_add_ineq	9871784566
isl_tab_add_row	50070910073
isl_tab_add_sample	0
isl_tab_add_valid_eq	104008423
isl_tab_alloc	5455930109
isl_tab_allocate_con	50070934420
isl_tab_allocate_var	0
isl_tab_check_con	1624792070
isl_tab_clear_undo	0
isl_tab_cone_is_bounded	909813
isl_tab_detect_constants	688378
isl_tab_detect_implicit_equalities	3051342963
isl_tab_detect_redundant	3001868136
isl_tab_drop_sample	0
isl_tab_dump	0
isl_tab_dup	0
isl_tab_extend_cons	19534137986
isl_tab_extend_vars	0
isl_tab_free	5459467163
isl_tab_freeze_constraint	10910083355
isl_tab_from_basic_map	5455020296
isl_tab_from_basic_set	66139487
isl_tab_from_recession_cone	909813
isl_tab_get_ctx	24716208471
isl_tab_get_sample_value	46597212
isl_tab_ineq_type	18712039164
isl_tab_init_samples	0
isl_tab_insert_div	0
isl_tab_insert_var	0
isl_tab_is_constant	0
isl_tab_is_equality	1694280552
isl_tab_is_redundant	1624665066
isl_tab_kill_col	19128236403
isl_tab_make_equalities_explicit	2904988922
isl_tab_mark_empty	805460820
isl_tab_mark_rational	11179
isl_tab_mark_redundant	7292744120
isl_tab_min	2560315470
isl_tab_min_at_most_neg_one	582862086
isl_tab_need_undo	0
isl_tab_peek_bset	1123714
isl_tab_pivot	24716205376
isl_tab_print_internal	0
isl_tab_product	3362105
isl_tab_push	4579631649
isl_tab_push_basis	0
isl_tab_push_callback	0
isl_tab_push_var	80049571913
isl_tab_relax	380231
isl_tab_restore_redundant	48749036
isl_tab_rollback	22138649812
isl_tab_row_is_redundant	108850795620
isl_tab_sample_is_integer	188854843
isl_tab_save_samples	0
isl_tab_select_facet	384257
isl_tab_shift_var	0
isl_tab_sign_of_max	0
isl_tab_snap	22975919148
isl_tab_swap_constraints	63502
isl_tab_track_bmap	55812133
isl_tab_track_bset	0
isl_tab_unrestrict	688378
isl_tab_var_from_row	317585930297
max_is_manifestly_unbounded	1294877277
may_be_equality	4077465203
min_is_manifestly_unbounded	12817740870
perform_undo	52372576986
perform_undo_var	47883103905
pivot_row	5707718385
push_union	84629203562
reached	5792930
restore_basis	0
restore_last_redundant	5314195918
restore_row	13286314264
rotate_constraints	345222
row_at_most_neg_one	836082677
row_cmp	21161341164
row_is_big	96541618
row_is_manifestly_non_integral	1840570125
row_is_manifestly_zero	104041679
row_is_neg	14699681607
row_sgn	12998964181
select_marked	1237786113
separation_type	7196337328
sign_of_max	670044224
sign_of_min	11417362933
swap_cols	9032103822
swap_eq	63502
swap_rows	7469002579
tab_is_manifestly_empty	387194228
tab_mat_product	3362105
to_col	102701979
to_row	1171567299
unrelax	370821
ununrestrict	687508
update_con_after_move	1544746
update_index1	81892547
update_index2	81892547
update_row_sign	24716205376
var_drop_entry	0
var_from_col	154485730977
var_from_index	519954765179
var_insert_entry	0
var_reaches	4267838

Generated by: LCOV version 1.12