1 files changed, 12 insertions, 0 deletions
diff --git a/test/reservoir/loechner4.c b/test/reservoir/loechner4.c
new file mode 100644
index 0000000..8c4b9c7
--- /dev/null
+++ b/test/reservoir/loechner4.c
@@ -0,0 +1,12 @@
+/* Generated from ../../../git/cloog/test/./reservoir/loechner4.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.02s. */
+if (M >= 1) {
+  for (c2=2;c2<=2*M;c2++) {
+    for (c4=1;c4<=M;c4++) {
+      for (c6=1;c6<=M;c6++) {
+        for (c8=max(1,c2-M);c8<=min(M,c2-1);c8++) {
+          S1(c6,c4,c8,c2-c8) ;
+        }
+      }
+    }
+  }
+}