LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab.c (source / functions) Hit Total Coverage Test: 2018-10-31_cons_maint_greina.lcov Lines: 1389 2221 62.5 % Date: 2018-11-01 11:19:43 Functions: 103 135 76.3 %

Function Name	Hit count
add_div_constraints	0
check_table	0
div_is_nonneg	0
drop_bmap_div	0
drop_col	0
drop_samples_since	0
ineq_for_div	0
isl_tab_add_div	0
isl_tab_add_sample	0
isl_tab_allocate_var	0
isl_tab_clear_undo	0
isl_tab_cone_is_bounded	0
isl_tab_drop_sample	0
isl_tab_dump	0
isl_tab_dup	0
isl_tab_extend_vars	0
isl_tab_from_recession_cone	0
isl_tab_init_samples	0
isl_tab_insert_div	0
isl_tab_insert_var	0
isl_tab_is_constant	0
isl_tab_need_undo	0
isl_tab_print_internal	0
isl_tab_push_basis	0
isl_tab_push_callback	0
isl_tab_save_samples	0
isl_tab_shift_var	0
isl_tab_sign_of_max	0
isl_tab_track_bset	0
restore_basis	0
var_drop_entry	0
var_insert_entry	0
isl_tab_product	296
tab_mat_product	296
isl_tab_swap_constraints	2593
swap_eq	2593
con_drop_entries	3387
drop_eq	3387
gauss_if_shared	3705
update_index1	4596
update_index2	4596
isl_tab_peek_bset	4955
isl_tab_add_valid_eq	11671
rotate_constraints	24480
add_zero_row	28796
isl_tab_add_eq	30513
to_col	35445
row_is_manifestly_zero	42184
sign_of_min	61013
unrelax	69586
isl_tab_relax	123237
update_con_after_move	130101
isl_tab_mark_rational	136036
isl_tab_select_facet	310091
cut_to_hyperplane	324681
drop_last_con_in_row	324681
isl_basic_set_update_from_tab	353387
ununrestrict	517606
isl_tab_detect_constants	518583
isl_tab_unrestrict	518583
isl_tab_make_equalities_explicit	713039
isl_tab_min	729048
detect_constant_with_tmp	3034876
get_constant	3053126
is_constant	3053126
var_reaches	3710019
get_rounded_sample_value	4164876
reached	4171019
separation_type	26721360
at_least_zero	38629715
add_eq	53928877
isl_tab_get_sample_value	59781867
isl_tab_ineq_type	100845874
isl_tab_restore_redundant	157528804
isl_tab_detect_redundant	268320834
row_is_big	298041099
row_at_most_neg_one	604663692
isl_tab_min_at_most_neg_one	767535680
con_is_redundant	767596693
isl_tab_track_bmap	1328749450
isl_tab_from_basic_set	1356169760
extract_integer_sample	1426627757
isl_tab_sample_is_integer	1446768798
isl_tab_detect_implicit_equalities	1566395957
isl_basic_map_update_from_tab	1612366175
at_least_one	2195248381
isl_tab_alloc	2955142263
isl_tab_from_basic_map	2955142263
free_undo	2955142559
isl_tab_free	2955625229
min_is_manifestly_unbounded	3228118421
swap_cols	3692186458
close_row	4946604089
tab_is_manifestly_empty	4946604089
isl_tab_is_redundant	4961762525
isl_tab_check_con	4961767711
isl_tab_kill_col	5044730281
isl_tab_extend_cons	6300884808
isl_tab_rollback	6320919892
sign_of_max	7141854055
restore_last_redundant	7825121380
isl_tab_mark_empty	7952065536
to_row	8069566805
select_marked	9210084223
max_is_manifestly_unbounded	11003214679
isl_tab_snap	12560611772
isl_tab_is_equality	14099801089
row_cmp	16168532245
drop_row	16953225374
isl_tab_mark_redundant	19886097797
pivot_row	19954532727
isl_tab_pivot	20210094823
update_row_sign	20210094823
isl_tab_get_ctx	20210094836
row_is_manifestly_non_integral	21622659302
isl_tab_push	23078717745
swap_rows	23139250734
may_be_equality	27577425321
find_pivot	30577554424
row_sgn	35360563778
isl_tab_add_ineq	39141870197
isl_tab_add_row	39297416180
isl_tab_allocate_con	39297444976
restore_row	40601364546
row_is_neg	44597730261
isl_tab_freeze_constraint	61076335628
perform_undo_var	102053027997
perform_undo	124990528436
free_undo_record	125683645131
isl_tab_row_is_redundant	143860007497
isl_tab_push_var	157359186107
push_union	180437903852
var_from_col	189536456228
isl_tab_var_from_row	484456148115
var_from_index	776045632340

Generated by: LCOV version 1.12