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