isl_parameter_alignment_reordering: fix error handling
[isl.git] / test_inputs / basicLinear.pwqp
blob0af7fabb53f0a5d5ec67ac924c21f81b293d64d6
1 [P, Q] -> { [n, m] -> n : n >= 1 and m >= n and m <= P and m <= Q }