isl_basic_map_find_output_upper_div_constraint: extract find_later_constraint_...

[isl.git] / testsets / pip / seghir-e7.pip

0 6

-1

9 8
 0 0 0 1 1 0 0 0
 1 4 2 0 1 0 1 1
 1 1 0 0 0 0 0 -1
 1 -1 0 0 0 2 1 0
 1 -15 -11 0 -5 1 0 2
 1 -3 -2 0 -1 0 0 -5
 1 3 3 0 1 0 0 0
 1 0 0 0 0 2 1 -2
 1 0 0 0 0 0 0 1

Urs_parms
Urs_unknowns