Merge branch 'maint'
[isl.git] / test_inputs / neg.pwqp
blob596a7d77d091c659204944c0c72c5f1ae2f5cbf7
1 [n] -> { [i0] -> i0^2 : i0 >= -20 - n and i0 <= n and i0 <= -1 and n >= 0 }