isl_basic_map_overlying_set: extract out isl_basic_map_add_known_div_constraints
[isl.git] / test_inputs / sven.pip
blob86027691036a25deda30cd08e7285ad19e617c82
1 0 3
3 -1
5 2 3
6 1  1 -4
7 1 -1 10