1 files changed, 6 insertions, 0 deletions
diff --git a/test/min-3-1.c.polylib b/test/min-3-1.c.polylib
new file mode 100644
index 0000000..45b78f5
--- /dev/null
+++ b/test/min-3-1.c.polylib
@@ -0,0 +1,6 @@
+/* Generated by CLooG v0.10.7 */
+for (i=0;i<=min(10,M);i++) {
+  for (j=0;j<=min(10,M);j++) {
+    S1 ;
+  }
+}