LCOV - code coverage report

Current view: top level - metalib_isl - isl_tab_pip.c (source / functions) Hit Total Coverage Test: 2018-10-31_point_maint_greina16.lcov Lines: 0 2665 0.0 % Date: 2018-11-01 11:27:00 Functions: 0 183 0.0 %

Function Name	Hit count
add_cut	0
add_div	0
add_gbr_eq	0
add_gbr_ineq	0
add_lexmin_eq	0
add_lexmin_ineq	0
add_lexmin_valid_eq	0
add_parametric_cut	0
align_context_divs	0
all_single_occurrence	0
basic_map_partial_lexopt_base	0
basic_map_partial_lexopt_base_pw_multi_aff	0
basic_map_partial_lexopt_base_sol	0
basic_map_partial_lexopt_symm_core	0
basic_map_partial_lexopt_symm_core_pw_multi_aff	0
best_split	0
better_next_side	0
check_final_columns_are_zero	0
check_gbr_integer_feasible	0
check_integer_feasible	0
check_lexpos	0
check_samples	0
clear_lexmin_data	0
col_is_parameter_var	0
combine_initial_if_equal	0
combine_initial_into_second	0
constraint_equal	0
context_gbr_add_eq	0
context_gbr_add_ineq	0
context_gbr_add_ineq_wrap	0
context_gbr_best_split	0
context_gbr_detect_equalities	0
context_gbr_detect_nonnegative_parameters	0
context_gbr_discard	0
context_gbr_free	0
context_gbr_get_div	0
context_gbr_ineq_sign	0
context_gbr_insert_div	0
context_gbr_invalidate	0
context_gbr_is_empty	0
context_gbr_is_ok	0
context_gbr_peek_basic_set	0
context_gbr_peek_tab	0
context_gbr_restore	0
context_gbr_save	0
context_gbr_test_ineq	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
context_tab_insert_div	0
count_occurrences	0
cut_to_integer_lexmin	0
drop_constant_terms	0
enter_level	0
equal_on_domain	0
extract_domain	0
extract_sample_sequence	0
find_context_div	0
find_div	0
find_in_pos	0
find_solutions	0
find_solutions_main	0
finished_all_cases	0
first_neg	0
first_non_integer_row	0
first_trivial_region	0
fix_zero	0
force_better_solution	0
gbr_get_sample	0
gbr_get_shifted_sample	0
gbr_init_shifted	0
get_div	0
get_row_parameter_div	0
get_row_parameter_ineq	0
get_row_parameter_line	0
get_row_split_div	0
identical_parameter_line	0
ineq_for_div	0
init_lexmin_data	0
init_local_region	0
integer_constant	0
integer_parameter	0
integer_variable	0
is_constant	0
is_critical	0
is_obviously_neg	0
is_obviously_nonneg	0
is_optimal	0
is_parameter_var	0
is_parametric_constant	0
is_strict	0
isl_context_alloc	0
isl_context_gbr_alloc	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_non_zero_var_col	0
last_var_col_or_int_par_col	0
lexmin_col_pair	0
lexmin_pivot_col	0
need_split_basic_map	0
need_split_basic_set	0
need_split_set	0
need_substitution	0
next_non_integer_var	0
no_sol_in_strict	0
normalize_div	0
parallel_constraints	0
pick_side	0
pos_neg	0
propagate_equalities	0
region_is_trivial	0
report_conflict	0
report_conflicting_constraint	0
reset_any_to_unknown	0
restore_lexmin	0
row_is_parameter_var	0
row_sign	0
same_solution	0
sample_is_finite	0
scale_rows	0
select_minimum	0
set_from_affine_matrix	0
set_minimum	0
set_minimum_pa	0
set_row_cst_to_div	0
single_occurrence	0
sol_add	0
sol_dec_level	0
sol_dec_level_wrap	0
sol_domain	0
sol_free	0
sol_has_mergeable_solutions	0
sol_inc_level	0
sol_init	0
sol_map_add	0
sol_map_add_empty	0
sol_map_add_empty_wrap	0
sol_map_add_wrap	0
sol_map_free	0
sol_map_init	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
sol_pop	0
sol_pop_one	0
sol_push_sol	0
sol_push_sol_mat	0
split	0
split_domain	0
split_domain_pma	0
swap_initial	0
tab_detect_nonnegative_parameters	0
tab_for_lexmin	0
tab_has_valid_sample	0
tab_ineq_sign	0
update_outer_levels	0
use_shifted	0

Generated by: LCOV version 1.12