codegen_test.sh.in: determine option to produce context diff
[isl.git] / test_inputs / codegen / omega / iter5-0.in
blob1e4f739447ec99fe9d21624e85d6762909bf626c
1 { s0[In_1, In_2] -> [In_1, In_2] : In_1 >= 2 and In_2 >= 1 + In_1 and In_2 <= 2In_1 and In_2 <= 16 and In_1 <= 9 }
2 {  :  }
3 { [i0, i1] -> atomic[o0] : o0 <= 0; [i0, i1] -> separate[o0] : o0 >= 1 }