LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab_pip.c (source / functions) Hit Total Coverage Test: project_test.lcov Lines: 1148 2665 43.1 % Date: 2018-11-06 13:10:25 Functions: 93 183 50.8 %

Function Name	Hit count
add_cut	0
add_div	31191
add_gbr_eq	0
add_gbr_ineq	573868
add_lexmin_eq	0
add_lexmin_ineq	72194
add_lexmin_valid_eq	0
add_parametric_cut	31935
align_context_divs	0
all_single_occurrence	0
basic_map_partial_lexopt_base	10693
basic_map_partial_lexopt_base_pw_multi_aff	0
basic_map_partial_lexopt_base_sol	10693
basic_map_partial_lexopt_symm_core	0
basic_map_partial_lexopt_symm_core_pw_multi_aff	0
best_split	74438
better_next_side	0
check_final_columns_are_zero	38403
check_gbr_integer_feasible	250159
check_integer_feasible	0
check_lexpos	0
check_samples	272020
clear_lexmin_data	0
col_is_parameter_var	4887649
combine_initial_if_equal	327
combine_initial_into_second	327
constraint_equal	0
context_gbr_add_eq	0
context_gbr_add_ineq	334402
context_gbr_add_ineq_wrap	62382
context_gbr_best_split	74438
context_gbr_detect_equalities	31191
context_gbr_detect_nonnegative_parameters	10693
context_gbr_discard	10693
context_gbr_free	10693
context_gbr_get_div	31935
context_gbr_ineq_sign	348020
context_gbr_insert_div	31191
context_gbr_invalidate	0
context_gbr_is_empty	185106
context_gbr_is_ok	93573
context_gbr_peek_basic_set	60116
context_gbr_peek_tab	237866
context_gbr_restore	136010
context_gbr_save	146703
context_gbr_test_ineq	239466
context_lex_add_eq	0
context_lex_add_ineq	0
context_lex_add_ineq_wrap	0
context_lex_best_split	0
context_lex_detect_equalities	0
context_lex_detect_nonnegative_parameters	0
context_lex_discard	0
context_lex_free	0
context_lex_get_div	0
context_lex_ineq_sign	0
context_lex_insert_div	0
context_lex_invalidate	0
context_lex_is_empty	0
context_lex_is_ok	0
context_lex_peek_basic_set	0
context_lex_peek_tab	0
context_lex_restore	0
context_lex_save	0
context_lex_test_ineq	0
context_tab_for_lexmin	0
context_tab_insert_div	31191
count_occurrences	10693
cut_to_integer_lexmin	0
drop_constant_terms	25341
enter_level	0
equal_on_domain	0
extract_domain	10693
extract_sample_sequence	0
find_context_div	0
find_div	31935
find_in_pos	136010
find_solutions	146703
find_solutions_main	10693
finished_all_cases	0
first_neg	315631
first_non_integer_row	70338
first_trivial_region	0
fix_zero	0
force_better_solution	0
gbr_get_sample	181803
gbr_get_shifted_sample	68294
gbr_init_shifted	63200
get_div	31935
get_row_parameter_div	31935
get_row_parameter_ineq	1256837
get_row_parameter_line	1288772
get_row_split_div	0
identical_parameter_line	1969669
ineq_for_div	0
init_lexmin_data	0
init_local_region	0
integer_constant	81830
integer_parameter	81830
integer_variable	31935
is_constant	0
is_critical	348020
is_obviously_neg	405788
is_obviously_nonneg	360673
is_optimal	0
is_parameter_var	4959843
is_parametric_constant	222957
is_strict	484030
isl_context_alloc	10693
isl_context_gbr_alloc	10693
isl_context_lex_alloc	0
isl_tab_basic_set_non_trivial_lexmin	0
isl_tab_lexmin_add_eq	0
isl_tab_lexmin_cut_to_integer	0
isl_tab_lexmin_dim	0
isl_tab_lexmin_free	0
isl_tab_lexmin_from_basic_set	0
isl_tab_lexmin_get_solution	0
last_non_zero_var_col	2978
last_var_col_or_int_par_col	0
lexmin_col_pair	756
lexmin_pivot_col	181388
need_split_basic_map	0
need_split_basic_set	0
need_split_set	0
need_substitution	0
next_non_integer_var	70338
no_sol_in_strict	0
normalize_div	31935
parallel_constraints	10693
pick_side	0
pos_neg	0
propagate_equalities	1146
region_is_trivial	0
report_conflict	108300
report_conflicting_constraint	0
reset_any_to_unknown	136010
restore_lexmin	242599
row_is_parameter_var	72194
row_sign	1584291
same_solution	327
sample_is_finite	0
scale_rows	0
select_minimum	0
set_from_affine_matrix	38403
set_minimum	0
set_minimum_pa	0
set_row_cst_to_div	0
single_occurrence	0
sol_add	146703
sol_dec_level	120574
sol_dec_level_wrap	120574
sol_domain	38730
sol_free	10693
sol_has_mergeable_solutions	10693
sol_inc_level	136010
sol_init	10693
sol_map_add	38076
sol_map_add_empty	0
sol_map_add_empty_wrap	0
sol_map_add_wrap	38076
sol_map_free	10693
sol_map_init	10693
sol_pma_add	0
sol_pma_add_empty	0
sol_pma_add_empty_wrap	0
sol_pma_add_wrap	0
sol_pma_free	0
sol_pma_init	0
sol_pop	131267
sol_pop_one	38076
sol_push_sol	38403
sol_push_sol_mat	38403
split	0
split_domain	0
split_domain_pma	0
swap_initial	0
tab_detect_nonnegative_parameters	10693
tab_for_lexmin	10693
tab_has_valid_sample	0
tab_ineq_sign	348020
update_outer_levels	0
use_shifted	141103

Generated by: LCOV version 1.12