diff options
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.cloog | 110 |
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 |