codegen_test.sh: avoid use of constructs not supported by /bin/sh on Solaris
[isl.git] / test_inputs / codegen / cloog / mod2.in
blob58134bbbfe6a82fef041509acc1afd6f316f98b9
1 { S1[i] -> [i, 0] : exists (e0 = [(i)/3]: i >= 0 and i <= 3 and 3e0 <= i and 3e0 >= -1 + i) }
2 {  :  }
3 { [i, j] -> separate[o0] }