diff --git a/test/darte.c b/test/darte.c
index e185b7a..2a4a1b8 100644
--- a/test/darte.c
+++ b/test/darte.c
@@ -6,14 +6,14 @@ if (n >= 1) {
     }
   }
   for (t1=-n+2;t1<=n-1;t1++) {
-    if (t1 >= 2) {
+    if (t1 >= 0) {
       for (t3=t1+4;t3<=t1+2*n+2;t3++) {
         if ((t1+t3)%2 == 0) {
           S1(t1+1,1,(-t1+t3-2)/2);
         }
       }
     }
-    for (t2=max(-t1+2,t1+2);t2<=-t1+4;t2++) {
+    for (t2=max(-t1+2,t1+3);t2<=-t1+4;t2++) {
       for (t3=t2+2;t3<=t2+2*n;t3++) {
         if ((t1+t2)%2 == 0) {
           if ((t1+t3)%2 == 0) {
diff --git a/test/dartef.f b/test/dartef.f
index 50e1073..3b5e3e2 100644
--- a/test/dartef.f
+++ b/test/dartef.f
@@ -6,14 +6,14 @@ IF (n >= 1) THEN
     END IF
   END DO
   DO t1=-n+2, n-1
-    IF (t1 >= 2) THEN
+    IF (t1 >= 0) THEN
       DO t3=t1+4, t1+2*n+2
         IF (MOD(t1+t3, 2) == 0) THEN
           S1(t1+1,1,(-t1+t3-2)/2)
         END IF
       END DO
     END IF
-    DO t2=MAX(-t1+2,t1+2), -t1+4
+    DO t2=MAX(-t1+2,t1+3), -t1+4
       DO t3=t2+2, t2+2*n
         IF (MOD(t1+t2, 2) == 0) THEN
           IF (MOD(t1+t3, 2) == 0) THEN
diff --git a/test/dealII.c b/test/dealII.c
index 200b257..5d28c4a 100644
--- a/test/dealII.c
+++ b/test/dealII.c
@@ -3,10 +3,13 @@ for (scat_0=0;scat_0<=min(T_66,T_2-1);scat_0++) {
   S1(scat_0);
   S2(scat_0);
 }
-if ((T_2 == 0) && (T_67 == 0)) {
+if ((T_2 == 0) && (T_66 >= 0) && (T_67 == 0)) {
   S1(0);
 }
-for (scat_0=max(0,T_66+1);scat_0<=T_2-1;scat_0++) {
+if ((T_66 <= -1) && (T_67 == 0)) {
+  S1(0);
+}
+for (scat_0=max(max(0,T_66+1),-T_67+1);scat_0<=T_2-1;scat_0++) {
   S1(scat_0);
 }
 for (scat_0=T_2;scat_0<=min(T_66,T_67-1);scat_0++) {
diff --git a/test/isl/jacobi-shared.c b/test/isl/jacobi-shared.c
index e8e5ec7..9e345c6 100644
--- a/test/isl/jacobi-shared.c
+++ b/test/isl/jacobi-shared.c
@@ -1,6 +1,6 @@
 /* Generated from ../../../git/cloog/test/isl/jacobi-shared.cloog by CLooG 0.16.3-2-g5511bef gmp bits in 1.82s. */
 if ((h0+1)%2 == 0) {
-  if ((16*floord(t0-1,16) >= -N+g1+t0+1) && (16*floord(N+15*g1+15*t0+15,16) >= 15*g1+15*t0+19) && (32*floord(t1-1,32) <= g2+t1-3) && (32*floord(t1-1,32) >= -N+g2+t1+1)) {
+  if ((16*floord(N+15*g1+15*t0+15,16) >= 15*g1+15*t0+19) && (16*floord(N+15*g1+15*t0+15,16) >= 16*g1+15*t0+17) && (32*floord(t1-1,32) <= g2+t1-3) && (32*floord(t1-1,32) >= -N+g2+t1+1)) { 
     for (c0=max(-16*floord(t0-1,16)+t0,-16*floord(g1+t0-3,16)+t0);c0<=min(32,N-g1-1);c0+=16) {
       c1 = 32*floord(-t1,32)+t1+32;
       if (c1 <= 32) {
diff --git a/test/vasilache.c b/test/vasilache.c
index 5a00a33..fdff031 100644
--- a/test/vasilache.c
+++ b/test/vasilache.c
@@ -15,12 +15,12 @@ for (p1=0;p1<=N-1;p1++) {
         S6(p1,p3,p5,p7-1);
         S7(p1,p3,p5,p7);
       }
-      if (p5 <= floord(N-33,32)) {
-        S6(p1,p3,p5,32*p5+31);
-      }
-      if (p5 >= ceild(N-32,32)) {
+      if (p5 >= ceild(N-31,32)) {
         S6(p1,p3,p5,N-1);
       }
+      if (p5 <= floord(N-32,32)) {
+        S6(p1,p3,p5,32*p5+31);
+      }
     }
   }
 }