1 files changed, 11 insertions, 0 deletions
diff --git a/test/lub.c.polylib b/test/lub.c.polylib
new file mode 100644
index 0000000..fe60103
--- /dev/null
+++ b/test/lub.c.polylib
@@ -0,0 +1,11 @@
+/* Generated by CLooG v0.10.7 */
+for (i=1;i<=M-1;i++) {
+  for (j=i+1;j<=M;j++) {
+    S1 ;
+    for (k=i+1;k<=M;k++) {
+      S2 ;
+      S3 ;
+    }
+    S4 ;
+  }
+}