forked from ksaifahmed/FPA_TEST_CASE_GEN
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest_cases_v2.txt
307 lines (191 loc) · 6.4 KB
/
test_cases_v2.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
large values:
=======================
checked
247.125 : 0 1110 11101110010
-120.594 : 1 1101 11100010011
126.531 : 0 1101 11111010001
checked
33.7969 : 0 1100 00001110010
80.75 : 0 1101 01000011
114.5469 : 0 1101 11001010001
checked
42.2188 : 0 1100 0101000111
-183.5 : 1 1110 01101111
-141.2812 : 1 1110 00011010100
checked
-171.609 : 1 1110 01010111001
-55.7812 : 1 1100 10111110001
-227.3902 : 1 1110 11000110110
overflow exp, answer fraction maybe wrong
-189.016 : 1 1110 01111010000
-134.297 : 1 1110 00001100100
-323.312 : 1 1111 01000011010
checked
99.2656 : 0 1101 10001101000
-138.859 : 1 1110 00010101101
-39.5934 : 1 1100 00111100101
108.609 : 0 1101 10110010011
-203.281 : 1 1110 10010110100
-94.6719 : 1 1101 01111010101
47.5312 : 0 1100 0111110001
-214.578 : 1 1110 10101101001
-167.047 : 1 1110 01001110000
-46.4062 : 1 1100 0111001101
25.3281 : 0 1011 10010101001
-21.0781 : 1 1011 01010001001
124.125 : 0 1101 111100001
181.438 : 0 1110 01101010111
305.562 : 0 1111 00110001100
-74.9531 : 1 1101 00101011110
-190.625 : 1 1110 0111110101
-265.578 : 1 1111 00001001100
-174.312 : 1 1110 01011100101
252.594 : 0 1110 11111001001
78.2812 : 0 1101 00111001001
-138.953 : 1 1110 00010101111
-134.062 : 1 1110 00001100001
-273.016 : 1 1111 00010001000
147.297 : 0 1110 00100110100
118.875 : 0 1101 110110111
266.172 : 0 1111 00001010001
69.9219 : 0 1101 00010111101
81.2969 : 0 1101 01000101001
151.219 : 0 1110 00101110011
-235.656 : 1 1110 11010111010
-208.625 : 1 1110 1010000101
-444.281 : 1 1111 10111100010
-137.469 : 1 1110 00010010111
138.047 : 0 1110 00010100000
0.578125 : 0 110 001001111111111101011
-128.719 : 1 1110 00000001011
-176.047 : 1 1110 01100000000
-304.766 : 1 1111 00110000110
-242.344 : 1 1110 11100100101
-124.844 : 1 1101 11110011011
-367.188 : 1 1111 01101111001
93.5 : 0 1101 0111011
73.6719 : 0 1101 00100110101
167.172 : 0 1110 01001110010
144.25 : 0 1110 001000001
36.9844 : 0 1100 00100111110
181.234 : 0 1110 01101010011
-111.875 : 1 1101 101111111
-85.5 : 1 1101 0101011
-197.375 : 1 1110 1000101011
192.781 : 0 1110 10000001100
227.422 : 0 1110 11000110110
420.203 : 0 1111 10100100001
137.766 : 0 1110 00010011100
-80.2656 : 1 1101 01000001000
57.5 : 0 1100 110011
39.5312 : 0 1100 0011110001
-155.141 : 1 1110 00110110010
-115.609 : 1 1101 11001110011
-102.562 : 1 1101 1001101001
165.672 : 0 1110 01001011010
63.1094 : 0 1100 11111000110
-204.125 : 1 1110 1001100001
-161.641 : 1 1110 01000011010
-365.766 : 1 1111 01101101110
-105.719 : 1 1101 10100110111
-219.906 : 1 1110 10110111110
-325.625 : 1 1111 01000101101
-57.3125 : 1 1100 110010101
-203.375 : 1 1110 1001011011
-260.688 : 1 1111 00000100101
60.4219 : 0 1100 11100011010
55.9062 : 0 1100 1011111101
116.328 : 0 1101 11010001010
small values(truncate excess bits of fractions)
=======================
checked and truncated
0.95538 : 0 110 11101001001
-0.05820 : 1 10 11011100110
0.89718 : 0 110 11001011010
0.53819 : 0 110 0001001110001101101001
-0.46629 : 1 101 1101110101111011001
0.07190 : 0 11 00100110100000001001111
0.83660 : 0 110 10101100010101101101011
-0.87103 : 1 110 10111101111101100101011
-0.03442 : 1 10 000110011111011111111
-0.55925 : 1 110 0001111001010110000001
0.56249 : 0 110 0001111111111101011
0.00323 : 0 1-0 10100111010111001101
-0.84558 : 1 110 10110000111011101000111
0.12314 : 0 11 11111000011000011010011
-0.72243 : 1 110 011100011110001001011
0.13480 : 0 100 00010100000100100000011
0.89264 : 0 110 1100100100000110110011
1.02744 : Approx: 0 0 00000111000001011010011100001
0.60326 : 0 110 00110100110111010011
-0.56786 : 1 110 0010001010111101001111
0.03540 : 0 10 00100001111111110010111
0.32395 : 0 101 0100101110111001100011
0.73052 : 0 110 011101100000011010111
1.05448 : Approx: 0 0 0000110111110001101111101111
-0.38847 : 1 101 1000110111001011000101
-0.37364 : 1 101 0111111010011000110111
-0.76211 : 1 110 100001100011000111111
-0.27226 : 1 101 0001011011001000101101
-0.37419 : 1 101 01111111001010010000101
-0.64644 : 1 110 01001010111110100011
0.40629 : 0 101 1010000000001010011111
0.39769 : 0 101 10010111001110010110111
0.80398 : 0 110 1001101110100011010001
-0.84527 : 1 110 10110000110001110011101
0.50127 : 0 110 00000000101001010010011
-0.34400 : 1 101 01100000010000011000101
-0.82635 : 1 110 101001110001011101011
-0.67528 : 1 110 0101100110111110010011
-1.50163 : Approx: 1 0 100000000110101011010011
0.45543 : 0 101 11010010010110011001111
-0.95495 : 1 110 1110100011101111001101
-0.49953 : 1 101 1111111110000010001011
0.13095 : 0 100 0000110000101111100001
0.90918 : 0 110 11010001011111101011101
1.04013 : Approx: 0 0 0000101001000101111101011011
-0.33464 : 1 101 010101101010100101
-0.47014 : 1 101 11100001011010011100001
-0.80477 : 1 110 10011100000010101101
0.32072 : 0 101 0100100001101000001101
-0.55785 : 1 110 0001110110011101001101
-0.23713 : 1 100 1110010110011111001011
0.65355 : 0 110 0100111010011110000111
-0.88049 : 1 110 11000010110011111001011
-0.22694 : 1 100 11010000110000001010111
0.94006 : 0 110 1110000101001111100011
0.26737 : 0 101 00010001110010010111
1.20743 : Approx: 0 0 00110101000110100010001
-0.41392 : 1 101 1010011111011010101001
-0.27335 : 1 101 00010111111010010001
-0.68728 : 1 110 01011111111000011101101
0.01743 : 0 1 00011101011010001100011
0.99890 : 0 110 11111111011011111101001
1.01633 : Approx: 0 0 00000100001011011000110000101
-0.48051 : 1 101 11101100000010101101
-0.51628 : 1 110 00001000010101011101101
-0.99680 : 1 110 11111110010110110100001
0.25034 : 0 101 00000000010110010010001
-0.73937 : 1 110 0111101010001110101101
-0.48903 : 1 101 111101001100000110101
-0.56517 : 1 110 00100001010111011111011
0.88971 : 0 110 11000111100001101100001
0.32453 : 0 101 010011000101000110011
0.81463 : 0 110 10100001000101110010111
0.50645 : 0 110 00000011010011010110101
1.32109 : Approx: 0 0 0101001000110010010011001
-0.97375 : 1 110 1111001010001111010111
-0.30485 : 1 101 00111000001001111111101
-1.27860 : Approx: 1 0 0100011101010010010101001
0.95959 : 0 110 11101011010011110110001
0.48527 : 0 101 11110000111010101001111
1.44487 : Approx: 0 0 0111000111100010010110001
-0.44420 : 1 101 11000110110110011011111
-0.41209 : 1 101 1010010111111010111011
-0.85629 : 1 110 10110110011010100101011
0.20078 : 0 100 1001101100110010100011
-0.08676 : 1 11 0110001101011110011101
0.11402 : 0 11 11010010111111000010011
0.08664 : 0 11 0110001011100000101
0.74230 : 0 110 01111100000011101011111
0.82894 : 0 110 10101000011010101101001