isl backend: ignore equality constraints when looking for lower bounds

[cloog.git] / test / mod4.c

/* Generated from /home/skimo/git/cloog/test/mod4.cloog by CLooG 0.14.0-225-g6e2d019 gmp bits in 0.00s. */
for (j=2;j<=10;j+=3) {
  S1(j,(j+1)/3,(j+1)/3,2,(j-2)/3);
  S2(j,(j+1)/3,(j+1)/3,2,(j-2)/3);
  S3(j,(j+1)/3,(j+1)/3,2,(j-2)/3);
}