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_gbr_eq	0
add_lexmin_eq	0
add_lexmin_valid_eq	0
align_context_divs	0
all_single_occurrence	0
basic_map_partial_lexopt_base_pw_multi_aff	0
basic_map_partial_lexopt_symm_core	0
basic_map_partial_lexopt_symm_core_pw_multi_aff	0
better_next_side	0
check_integer_feasible	0
check_lexpos	0
clear_lexmin_data	0
constraint_equal	0
context_gbr_add_eq	0
context_gbr_invalidate	0
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
cut_to_integer_lexmin	0
enter_level	0
equal_on_domain	0
extract_sample_sequence	0
find_context_div	0
finished_all_cases	0
first_trivial_region	0
fix_zero	0
force_better_solution	0
get_row_split_div	0
ineq_for_div	0
init_lexmin_data	0
init_local_region	0
is_constant	0
is_optimal	0
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_var_col_or_int_par_col	0
need_split_basic_map	0
need_split_basic_set	0
need_split_set	0
need_substitution	0
no_sol_in_strict	0
pick_side	0
pos_neg	0
region_is_trivial	0
report_conflicting_constraint	0
sample_is_finite	0
scale_rows	0
select_minimum	0
set_minimum	0
set_minimum_pa	0
set_row_cst_to_div	0
single_occurrence	0
sol_map_add_empty	0
sol_map_add_empty_wrap	0
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
split	0
split_domain	0
split_domain_pma	0
swap_initial	0
tab_has_valid_sample	0
update_outer_levels	0
combine_initial_if_equal	327
combine_initial_into_second	327
same_solution	327
lexmin_col_pair	756
propagate_equalities	1146
last_non_zero_var_col	2978
basic_map_partial_lexopt_base	10693
basic_map_partial_lexopt_base_sol	10693
context_gbr_detect_nonnegative_parameters	10693
context_gbr_discard	10693
context_gbr_free	10693
count_occurrences	10693
extract_domain	10693
find_solutions_main	10693
isl_context_alloc	10693
isl_context_gbr_alloc	10693
parallel_constraints	10693
sol_free	10693
sol_has_mergeable_solutions	10693
sol_init	10693
sol_map_free	10693
sol_map_init	10693
tab_detect_nonnegative_parameters	10693
tab_for_lexmin	10693
drop_constant_terms	25341
add_div	31191
context_gbr_detect_equalities	31191
context_gbr_insert_div	31191
context_tab_insert_div	31191
add_parametric_cut	31935
context_gbr_get_div	31935
find_div	31935
get_div	31935
get_row_parameter_div	31935
integer_variable	31935
normalize_div	31935
sol_map_add	38076
sol_map_add_wrap	38076
sol_pop_one	38076
check_final_columns_are_zero	38403
set_from_affine_matrix	38403
sol_push_sol	38403
sol_push_sol_mat	38403
sol_domain	38730
context_gbr_peek_basic_set	60116
context_gbr_add_ineq_wrap	62382
gbr_init_shifted	63200
gbr_get_shifted_sample	68294
first_non_integer_row	70338
next_non_integer_var	70338
add_lexmin_ineq	72194
row_is_parameter_var	72194
best_split	74438
context_gbr_best_split	74438
integer_constant	81830
integer_parameter	81830
context_gbr_is_ok	93573
report_conflict	108300
sol_dec_level	120574
sol_dec_level_wrap	120574
sol_pop	131267
context_gbr_restore	136010
find_in_pos	136010
reset_any_to_unknown	136010
sol_inc_level	136010
use_shifted	141103
context_gbr_save	146703
find_solutions	146703
sol_add	146703
lexmin_pivot_col	181388
gbr_get_sample	181803
context_gbr_is_empty	185106
is_parametric_constant	222957
context_gbr_peek_tab	237866
context_gbr_test_ineq	239466
restore_lexmin	242599
check_gbr_integer_feasible	250159
check_samples	272020
first_neg	315631
context_gbr_add_ineq	334402
context_gbr_ineq_sign	348020
is_critical	348020
tab_ineq_sign	348020
is_obviously_nonneg	360673
is_obviously_neg	405788
is_strict	484030
add_gbr_ineq	573868
get_row_parameter_ineq	1256837
get_row_parameter_line	1288772
row_sign	1584291
identical_parameter_line	1969669
col_is_parameter_var	4887649
is_parameter_var	4959843

Generated by: LCOV version 1.12