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

Generated by: LCOV version 1.12