select "best" lower bound for unrolling
[cloog/uuh.git] / test / isl / unroll2.cloog
blobd725478b1b83e5e3bc3b351c331dadbd653dd748
3 [n] -> { : }
9 [n] -> { [i] : 0 <= i and n <= i <= n + 1 <= 10 }
10 0 0 0