Get rid of the warning about ignoring the return value of fgets
[cloog.git] / test / levenshtein-1-2-3.cloog
blobacc6522e8686d73a5fbffd2baef7a6b02fed3fc9
1 # language: C
4 # Context
5 # {length,width | width+2<=length; 1<=width}
6 3   4
7 #  M  N   1
8 1  1  -1 -2
9 1  0  1  -1
10 1  0  0  1
13 8 # Number of statements
16 # {t1,t2,length,width | t1=0; t2=0; width+2<=length; 1<=width}
17 5   6
18 #  i  j  M  N  1
19 0  1  0  0  0  0
20 0  0  1  0  0  0
21 1  0  0  1  -1 -2
22 1  0  0  0  1  -1
23 1  0  0  0  0  1
24 0 0 0
27 # {t1,t2,length,width | 1<=t1<=width; t2=0; width+2<=length}
28 5   6
29 #  i  j  M  N  1
30 0  0  1  0  0  0
31 1  1  0  0  0  -1
32 1  -1 0  0  1  0
33 1  0  0  1  -1 -2
34 1  0  0  0  0  1
35 0 0 0
38 # {t1,t2,length,width | t1=t2; 1<=t2<=width; width+2<=length}
39 5   6
40 #  i  j  M  N  1
41 0  1  -1 0  0  0
42 1  0  1  0  0  -1
43 1  0  -1 0  1  0
44 1  0  0  1  -1 -2
45 1  0  0  0  0  1
46 0 0 0
49 # {t1,t2,length,width | t1=2t2-width; width+1<=t2<=length-1; 1<=width}
50 5   6
51 #  i  j  M  N  1
52 0  1  -2 0  1  0
53 1  0  1  0  -1 -1
54 1  0  -1 1  0  -1
55 1  0  0  0  1  -1
56 1  0  0  0  0  1
57 0 0 0
60 # {t1,t2,length,width | t1=2t2+width; 1<=t2<=length-width-1; 1<=width}
61 5   6
62 #  i  j  M  N  1
63 0  1  -2 0  -1 0
64 1  0  1  0  0  -1
65 1  0  -1 1  -1 -1
66 1  0  0  0  1  -1
67 1  0  0  0  0  1
68 0 0 0
71 # {t1,t2,length,width | (2t2-width+1,t2+1)<=t1<=(t2+length-1,2t2+width-1); 1<=t2<=length-1; width+2<=length}
72 8   6
73 #  i  j  M  N  1
74 1  1  -2 0  1  -1
75 1  1  -1 0  0  -1
76 1  -1 1  1  0  -1
77 1  -1 2  0  1  -1
78 1  0  1  0  0  -1
79 1  0  -1 1  0  -1
80 1  0  0  1  -1 -2
81 1  0  0  0  0  1
82 0 0 0
85 # {t1,t2,length,width | (width+1,2t2+width+1)<=t1<=(2length-width-2,2t2+width+2); width+2<=length; 1<=width}
86 6   6
87 #  i  j  M  N  1
88 1  1  0  0  -1 -1
89 1  1  -2 0  -1 -1
90 1  -1 0  2  -1 -2
91 1  -1 2  0  1  2
92 1  0  0  1  -1 -2
93 1  0  0  0  1  -1
94 0 0 0
97 # {t1,t2,length,width | (width+1,2t2-width)<=t1<=(2t2+width,2length-width-2); width+2<=length; 1<=width}
98 7   6
99 #  i  j  M  N  1
100 1  1  0  0  -1 -1
101 1  1  -2 0  1  0
102 1  -1 2  0  1  0
103 1  -1 0  2  -1 -2
104 1  0  0  1  -1 -2
105 1  0  0  0  1  -1
106 1  0  0  0  0  1
107 0 0 0
110 0 # Scattering functions