LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab.c (source / functions) Hit Total Coverage Test: 2018-11-01_10-31_merged3.lcov Lines: 1453 2221 65.4 % Date: 2018-11-01 12:23:03 Functions: 105 135 77.8 %

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_drop_sample	0
isl_tab_dump	0
isl_tab_dup	0
isl_tab_extend_vars	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
con_drop_entries	52099
drop_eq	52099
add_zero_row	52869
gauss_if_shared	55490
isl_tab_add_eq	63345
isl_tab_swap_constraints	65215
swap_eq	65215
isl_tab_mark_rational	146948
rotate_constraints	364552
unrelax	435685
isl_tab_relax	498520
isl_tab_select_facet	689080
isl_tab_cone_is_bounded	893145
isl_tab_from_recession_cone	893145
isl_tab_peek_bset	1105725
ununrestrict	1190442
isl_tab_detect_constants	1192261
isl_tab_unrestrict	1192261
isl_basic_set_update_from_tab	1402391
update_con_after_move	1652116
isl_tab_product	3302835
tab_mat_product	3302835
cut_to_hyperplane	3524788
drop_last_con_in_row	3524788
detect_constant_with_tmp	6487350
get_constant	6919671
is_constant	6919671
var_reaches	7885803
reached	9829810
update_index1	80491241
update_index2	80491241
to_col	100856240
isl_tab_add_valid_eq	102110736
row_is_manifestly_zero	102174081
isl_tab_get_sample_value	105541573
get_rounded_sample_value	148929893
isl_tab_restore_redundant	205381885
row_is_big	392851442
isl_tab_min_at_most_neg_one	1339472900
isl_tab_track_bmap	1383503511
isl_tab_from_basic_set	1421072486
row_at_most_neg_one	1424913571
extract_integer_sample	1494243450
isl_tab_sample_is_integer	1632099111
at_least_one	2436146997
isl_tab_min	2516783001
isl_tab_make_equalities_explicit	2855809721
isl_tab_detect_redundant	3218490093
isl_tab_detect_implicit_equalities	4565119413
isl_basic_map_update_from_tab	4628748914
close_row	5326213219
tab_is_manifestly_empty	5326213219
isl_tab_is_redundant	6556506767
isl_tab_check_con	6556637197
separation_type	7099033178
at_least_zero	7122673533
sign_of_max	7799083033
isl_tab_from_basic_map	8316155043
isl_tab_alloc	8317048188
free_undo	8320351023
isl_tab_free	8321005721
isl_tab_mark_empty	8741078486
to_row	9218829984
select_marked	10424363111
sign_of_min	11221856972
max_is_manifestly_unbounded	12273619118
con_is_redundant	12561329872
swap_cols	12568376930
restore_last_redundant	13044641571
isl_tab_is_equality	15762431462
min_is_manifestly_unbounded	15824112525
isl_tab_ineq_type	18491485102
add_eq	18553191153
row_is_manifestly_non_integral	23426833698
isl_tab_kill_col	23843744497
isl_tab_extend_cons	25496805442
pivot_row	25556208138
isl_tab_mark_redundant	27048514827
isl_tab_push	27568555880
isl_tab_rollback	28076302690
swap_rows	30472455619
may_be_equality	31575684801
isl_tab_snap	35136170521
row_cmp	36934495252
drop_row	41579296890
isl_tab_pivot	44493432228
update_row_sign	44493432228
isl_tab_get_ctx	44493435284
row_sgn	48122372165
isl_tab_add_ineq	48831805934
restore_row	53645324865
find_pivot	57586706830
row_is_neg	59027264137
isl_tab_freeze_constraint	71753564463
isl_tab_add_row	88495508940
isl_tab_allocate_con	88495561809
perform_undo_var	149045887500
perform_undo	176384647174
free_undo_record	177716907277
isl_tab_push_var	235957185602
isl_tab_row_is_redundant	250766596155
push_union	263525741482
var_from_col	341282864462
isl_tab_var_from_row	796275212809
var_from_index	1286603964771

Generated by: LCOV version 1.12