path: root/polly/lib/External/isl/test_inputs/codegen/cloog/basic-bounds-1.in

{ S1[i0] -> [i0, 0] : i0 >= 0 and i0 <= 2 }
{  :  }
{ [i, j] -> separate[o0] }