summaryrefslogtreecommitdiff
path: root/cloog-0.17.0/test/levenshtein-1-2-3.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-0.17.0/test/levenshtein-1-2-3.cloog')
-rw-r--r--cloog-0.17.0/test/levenshtein-1-2-3.cloog110
1 files changed, 0 insertions, 110 deletions
diff --git a/cloog-0.17.0/test/levenshtein-1-2-3.cloog b/cloog-0.17.0/test/levenshtein-1-2-3.cloog
deleted file mode 100644
index acc6522..0000000
--- a/cloog-0.17.0/test/levenshtein-1-2-3.cloog
+++ /dev/null
@@ -1,110 +0,0 @@
-# language: C
-c
-
-# Context
-# {length,width | width+2<=length; 1<=width}
-3 4
-# M N 1
-1 1 -1 -2
-1 0 1 -1
-1 0 0 1
-0
-
-8 # Number of statements
-
-1
-# {t1,t2,length,width | t1=0; t2=0; width+2<=length; 1<=width}
-5 6
-# i j M N 1
-0 1 0 0 0 0
-0 0 1 0 0 0
-1 0 0 1 -1 -2
-1 0 0 0 1 -1
-1 0 0 0 0 1
-0 0 0
-
-1
-# {t1,t2,length,width | 1<=t1<=width; t2=0; width+2<=length}
-5 6
-# i j M N 1
-0 0 1 0 0 0
-1 1 0 0 0 -1
-1 -1 0 0 1 0
-1 0 0 1 -1 -2
-1 0 0 0 0 1
-0 0 0
-
-1
-# {t1,t2,length,width | t1=t2; 1<=t2<=width; width+2<=length}
-5 6
-# i j M N 1
-0 1 -1 0 0 0
-1 0 1 0 0 -1
-1 0 -1 0 1 0
-1 0 0 1 -1 -2
-1 0 0 0 0 1
-0 0 0
-
-1
-# {t1,t2,length,width | t1=2t2-width; width+1<=t2<=length-1; 1<=width}
-5 6
-# i j M N 1
-0 1 -2 0 1 0
-1 0 1 0 -1 -1
-1 0 -1 1 0 -1
-1 0 0 0 1 -1
-1 0 0 0 0 1
-0 0 0
-
-1
-# {t1,t2,length,width | t1=2t2+width; 1<=t2<=length-width-1; 1<=width}
-5 6
-# i j M N 1
-0 1 -2 0 -1 0
-1 0 1 0 0 -1
-1 0 -1 1 -1 -1
-1 0 0 0 1 -1
-1 0 0 0 0 1
-0 0 0
-
-1
-# {t1,t2,length,width | (2t2-width+1,t2+1)<=t1<=(t2+length-1,2t2+width-1); 1<=t2<=length-1; width+2<=length}
-8 6
-# i j M N 1
-1 1 -2 0 1 -1
-1 1 -1 0 0 -1
-1 -1 1 1 0 -1
-1 -1 2 0 1 -1
-1 0 1 0 0 -1
-1 0 -1 1 0 -1
-1 0 0 1 -1 -2
-1 0 0 0 0 1
-0 0 0
-
-1
-# {t1,t2,length,width | (width+1,2t2+width+1)<=t1<=(2length-width-2,2t2+width+2); width+2<=length; 1<=width}
-6 6
-# i j M N 1
-1 1 0 0 -1 -1
-1 1 -2 0 -1 -1
-1 -1 0 2 -1 -2
-1 -1 2 0 1 2
-1 0 0 1 -1 -2
-1 0 0 0 1 -1
-0 0 0
-
-1
-# {t1,t2,length,width | (width+1,2t2-width)<=t1<=(2t2+width,2length-width-2); width+2<=length; 1<=width}
-7 6
-# i j M N 1
-1 1 0 0 -1 -1
-1 1 -2 0 1 0
-1 -1 2 0 1 0
-1 -1 0 2 -1 -2
-1 0 0 1 -1 -2
-1 0 0 0 1 -1
-1 0 0 0 0 1
-0 0 0
-0
-
-0 # Scattering functions