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