1 files changed, 15 insertions, 0 deletions
diff --git a/test/dot2.c b/test/dot2.c
new file mode 100644
index 0000000..3b6eb5d
--- /dev/null
+++ b/test/dot2.c
@@ -0,0 +1,15 @@
+/* Generated from ../../../git/cloog/test/dot2.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.01s. */
+for (i=1;i<=min(M,N);i++) {
+  S1(i) ;
+  for (j=1;j<=M;j++) {
+    S2(i,j) ;
+  }
+}
+for (i=N+1;i<=M;i++) {
+  S1(i) ;
+}
+for (i=M+1;i<=N;i++) {
+  for (j=1;j<=M;j++) {
+    S2(i,j) ;
+  }
+}