1 files changed, 42 insertions, 0 deletions
diff --git a/test/levenshtein-1-2-3.c.polylib b/test/levenshtein-1-2-3.c.polylib
new file mode 100644
index 0000000..8ef922e
--- /dev/null
+++ b/test/levenshtein-1-2-3.c.polylib
@@ -0,0 +1,42 @@
+/* Generated from levenshtein-1-2-3.cloog by CLooG v0.14.0 gmp bits in 0.04s. */
+/* CLooG asked for 236 KBytes. */
+S1(i = 0,j = 0) ;
+S2(i = 1,j = 0) ;
+S3(i = 1,j = 1) ;
+for (i=2;i<=N;i++) {
+  S2(j = 0) ;
+  for (j=1;j<=i-1;j++) {
+    S6 ;
+  }
+  S3(j = i) ;
+}
+i = N+1 ;
+S7(j = 0) ;
+for (j=1;j<=N;j++) {
+  S6 ;
+  S8 ;
+}
+for (i=N+2;i<=2*M-N-2;i++) {
+  for (j=ceild(i-N-2,2);j<=floord(i-N-1,2);j++) {
+    S7 ;
+  }
+  if ((i+N)%2 == 0) {
+    j = (i-N)/2 ;
+    S5 ;
+    S8 ;
+  }
+  for (j=ceild(i-N+1,2);j<=floord(i+N-1,2);j++) {
+    S6 ;
+    S8 ;
+  }
+  if ((i+N)%2 == 0) {
+    j = (i+N)/2 ;
+    S4 ;
+    S8 ;
+  }
+}
+for (i=2*M-N-1;i<=2*M-2;i++) {
+  for (j=i-M+1;j<=M-1;j++) {
+    S6 ;
+  }
+}