1 files changed, 27 insertions, 0 deletions
diff --git a/test/logo.c.ppl b/test/logo.c.ppl
new file mode 100644
index 0000000..130436b
--- /dev/null
+++ b/test/logo.c.ppl
@@ -0,0 +1,27 @@
+/* Generated from ./logo.cloog by CLooG 0.15 64 bits in 0.01s. */
+for (j=0;j<=7;j++) {
+  S1(i = 1) ;
+}
+for (i=2;i<=5;i++) {
+  for (j=0;j<=i-2;j++) {
+    S2 ;
+  }
+  for (j=i-1;j<=4;j++) {
+    S1 ;
+    S2 ;
+  }
+  for (j=5;j<=7;j++) {
+    S1 ;
+  }
+}
+for (j=0;j<=4;j++) {
+  S2(i = 6) ;
+}
+for (j=5;j<=7;j++) {
+  S1(i = 6) ;
+}
+for (i=7;i<=8;i++) {
+  for (j=i-1;j<=7;j++) {
+    S1 ;
+  }
+}