← Back to branch summary

~ubuntu-branches/ubuntu/vivid/emscripten/vivid

« back to all changes in this revision

Viewing changes to src/relooper/test_fuzz6.txt

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2013-09-20 22:44:35 UTC
  • mfrom: (4.1.1 sid)
  • Revision ID: package-import@ubuntu.com-20130920224435-apuwj4fsl3fqv1a6
Tags: 1.5.6~20130920~6010666-1
http://bugs.debian.org/723129
* New snapshot release
* Update the list of supported architectures to the same as libv8
  (Closes: #723129)
* emlibtool has been removed from upstream.
* Fix warning syntax-error-in-dep5-copyright
* Refresh of the patches

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/relooper/test_fuzz6.txt
1
1
 
2
2
 
3
3
print('entry'); var label; var state; var decisions = [759, 1223, 618, 1805, 277, 512, 204, 1545, 606, 734, 585, 447, 1670, 1031, 665, 1728, 353, 634, 1033, 13, 658, 589, 474, 854, 405, 1111, 1640, 697, 1156, 1357, 317, 618, 990, 1401, 405, 564, 497, 829, 653, 1194, 25, 322, 1178, 198, 1565, 1419, 1608, 486, 368, 606, 813, 22, 148, 141, 261, 375, 472, 964, 1106, 694, 205, 771, 44, 675, 545, 1027, 1528, 240, 1289, 564, 792, 744, 366, 668, 823, 210, 428, 1009, 1662, 1317, 1183, 681, 14, 1334, 712, 506, 224, 695, 401, 1035, 384, 486, 1519, 122, 1186, 1487, 1819, 1702, 463, 1706, 660, 1642, 847, 991, 976, 940, 867, 46, 23, 1449, 56, 1711, 634, 404, 1558, 168, 710, 1581, 1302, 870, 997, 1295, 1739, 769, 1005, 291, 1638, 1771, 842, 659, 1695, 713, 935, 802, 1173, 1572, 850, 607, 996, 55, 1576, 321, 1815, 662, 1044, 1612, 1680, 1050, 844, 553, 278, 1447, 1662, 1094, 1797, 774, 1013, 1204, 907, 340, 1172, 1460, 869, 1264, 111, 1176, 484, 845, 258, 417, 1246, 1017, 745, 189, 333, 1658, 1395, 1764, 1786, 165, 404, 847, 1429, 1574, 403, 718, 1118, 1756, 94, 56, 1498, 1696, 1355, 840, 50, 82, 371, 1087, 875, 1337, 267, 958, 1209, 1167, 1025, 1684, 184, 962, 1496, 201, 127, 372, 1, 1005, 402, 1387, 213, 1143, 1271, 167, 10, 12, 1060, 1390, 1366, 893, 747, 1005, 481, 876, 227, 514, 589, 250, 273, 1188, 1052, 719, 219, 1006, 38, 120, 1454, 489, 672, 149, 534, 1081, 1721, 586, 330, 25, 356, 1743, 1607, 336, 981, 419, 1036, 1293, 1026, 1300, 1453, 792, 22, 45, 420, 409, 1027, 1437, 1421, 795, 136, 1276, 1610, 1593]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
4
 
while(1) {
5
 
  print(30); state = check();// .................................................................................................................................................................................................................
6
 
  if (state % 3 == 1) {
7
 
    label = 67;
8
 
    break;
9
 
  } else if (!(state % 3 == 0)) {
10
 
    break;
11
 
  }
12
 
  print(58); state = check();// ......................................................................................
 
4
switch (the_var) {
 
5
default: {
 
6
}
 
7
}
 
8
L1: while(1) {
 
9
 print(30); state = check();// .................................................................................................................................................................................................................
 
10
 switch (the_var) {
 
11
 state % 3 == 0 {
 
12
  break;
 
13
 }
 
14
 state % 3 == 1 {
 
15
  label = 67;
 
16
  break L1;
 
17
  break;
 
18
 }
 
19
 default: {
 
20
  break L1;
 
21
 }
 
22
 }
 
23
 print(58); state = check();// ......................................................................................
 
24
 switch (the_var) {
 
25
 default: {
 
26
 }
 
27
 }
13
28
}
14
29
if (label == 67) {
15
 
  print(66); state = check();// ...............................................................................................................
 
30
 print(66); state = check();// ...............................................................................................................
 
31
 switch (the_var) {
 
32
 default: {
 
33
 }
 
34
 }
16
35
}
17
36
print(6); state = check();// .........
 
37
switch (the_var) {
 
38
default: {
 
39
}
 
40
}
18
41
while(1) {
19
 
  print(88); state = check();// ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
20
 
  print(70); state = check();// ..........................................................................................................................
21
 
  L10: while(1) {
22
 
    print(47); state = check();// ....................................................................................................................................
23
 
    print(28); state = check();// ..............................................................................................................
24
 
    while(1) {
25
 
      print(75); state = check();// .............................................
26
 
      print(7); state = check();// .............................................................................................................................................................................................
27
 
      if (!(state % 2 == 0)) {
28
 
        break;
29
 
      }
30
 
    }
31
 
    print(89); state = check();// ......................................................................................................................................................................................................................................................................................................................................................
32
 
    print(68); state = check();// ......................................................................................................................................................................................................................................................................................................................
33
 
    L18: while(1) {
34
 
      print(51); state = check();// .............................................................................................
35
 
      L20: while(1) {
36
 
        print(36); state = check();// .........................
37
 
        if (state % 2 == 0) {
38
 
          break;
39
 
        }
40
 
        print(16); state = check();// ................................................................................................................................................................................................................................................................................................................................................................
41
 
        print(57); state = check();// ...........................................................................................................................................................................................................................................................................................................................
42
 
        print(39); state = check();// ................
43
 
        if (state % 3 == 1) {
44
 
          label = 74;
45
 
        } else if (!(state % 3 == 0)) {
46
 
          label = 32;
47
 
          break;
48
 
        }
49
 
        while(1) {
50
 
          if (label == 74) {
51
 
            label = 0;
52
 
            print(73); state = check();// .
53
 
            if (state % 3 == 1) {
54
 
              label = 32;
55
 
              break L20;
56
 
            } else if (state % 3 == 0) {
57
 
              break;
58
 
            }
59
 
            print(43); state = check();// .........
60
 
            print(32); state = check();// ......................................................................................................
61
 
            print(83); state = check();// ........................................................................................
62
 
            print(77); state = check();// ...........................................................................................................................................................................................................................................................................................
63
 
            print(76); state = check();// ..............................................................................................................................................................................................................................................................................................................................................................................................................................
64
 
            print(22); state = check();// .........................................................................................................
65
 
          }
66
 
          print(72); state = check();// ..........................................................................................................
67
 
          if (state % 2 == 0) {
68
 
            label = 92;
69
 
            break L20;
70
 
          }
71
 
          print(80); state = check();// ....................................
72
 
          if (state % 2 == 0) {
73
 
            continue L18;
74
 
          }
75
 
          print(50); state = check();// ........................................
76
 
          print(29); state = check();// ...............
77
 
          print(8); state = check();// ....................................................................................................................................................................................................................................................
78
 
          if (state % 2 == 0) {
79
 
            continue L10;
80
 
          }
81
 
          print(19); state = check();// ......................................................................................................................................................................................................................
82
 
          print(56); state = check();// ....................................................................................................................................................................................................................
83
 
          print(34); state = check();// ..........................................................................................................................................
84
 
          label = 74;
85
 
        }
86
 
        print(62); state = check();// .......................................................................................
87
 
      }
88
 
      if (label == 32) {
89
 
        label = 0;
90
 
        print(31); state = check();// ..........................................................................................................................................................................................................
91
 
      }
92
 
      else if (label == 92) {
93
 
        label = 0;
94
 
        print(91); state = check();// ..............................................
95
 
        print(33); state = check();// ....
96
 
      }
97
 
      print(60); state = check();// ......................................................................................................................................................................................................................................
98
 
      print(10); state = check();// ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
99
 
      print(52); state = check();// ..............................................................................
100
 
      if (state % 2 == 0) {
101
 
        break L10;
102
 
      }
103
 
      print(2); state = check();// .........
104
 
    }
105
 
  }
106
 
  print(61); state = check();// .........................................................................................................................................................
 
42
 print(88); state = check();// ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
 
43
 switch (the_var) {
 
44
 default: {
 
45
 }
 
46
 }
 
47
 print(70); state = check();// ..........................................................................................................................
 
48
 switch (the_var) {
 
49
 default: {
 
50
 }
 
51
 }
 
52
 L10: while(1) {
 
53
  print(47); state = check();// ....................................................................................................................................
 
54
  switch (the_var) {
 
55
  default: {
 
56
  }
 
57
  }
 
58
  print(28); state = check();// ..............................................................................................................
 
59
  switch (the_var) {
 
60
  default: {
 
61
  }
 
62
  }
 
63
  L13: while(1) {
 
64
   print(75); state = check();// .............................................
 
65
   switch (the_var) {
 
66
   default: {
 
67
   }
 
68
   }
 
69
   print(7); state = check();// .............................................................................................................................................................................................
 
70
   switch (the_var) {
 
71
   state % 2 == 0 {
 
72
    break;
 
73
   }
 
74
   default: {
 
75
    break L13;
 
76
   }
 
77
   }
 
78
  }
 
79
  print(89); state = check();// ......................................................................................................................................................................................................................................................................................................................................................
 
80
  switch (the_var) {
 
81
  default: {
 
82
  }
 
83
  }
 
84
  print(68); state = check();// ......................................................................................................................................................................................................................................................................................................................
 
85
  switch (the_var) {
 
86
  default: {
 
87
  }
 
88
  }
 
89
  L18: while(1) {
 
90
   print(51); state = check();// .............................................................................................
 
91
   switch (the_var) {
 
92
   default: {
 
93
   }
 
94
   }
 
95
   L20: while(1) {
 
96
    print(36); state = check();// .........................
 
97
    switch (the_var) {
 
98
    state % 2 == 0 {
 
99
     break L20;
 
100
     break;
 
101
    }
 
102
    default: {
 
103
    }
 
104
    }
 
105
    print(16); state = check();// ................................................................................................................................................................................................................................................................................................................................................................
 
106
    switch (the_var) {
 
107
    default: {
 
108
    }
 
109
    }
 
110
    print(57); state = check();// ...........................................................................................................................................................................................................................................................................................................................
 
111
    switch (the_var) {
 
112
    default: {
 
113
    }
 
114
    }
 
115
    print(39); state = check();// ................
 
116
    switch (the_var) {
 
117
    state % 3 == 0 {
 
118
     break;
 
119
    }
 
120
    state % 3 == 1 {
 
121
     label = 74;
 
122
     break;
 
123
    }
 
124
    default: {
 
125
     label = 32;
 
126
     break L20;
 
127
    }
 
128
    }
 
129
    L25: while(1) {
 
130
     if (label == 74) {
 
131
      label = 0;
 
132
      print(73); state = check();// .
 
133
      switch (the_var) {
 
134
      state % 3 == 1 {
 
135
       label = 32;
 
136
       break L20;
 
137
       break;
 
138
      }
 
139
      state % 3 == 0 {
 
140
       break L25;
 
141
       break;
 
142
      }
 
143
      default: {
 
144
      }
 
145
      }
 
146
      print(43); state = check();// .........
 
147
      switch (the_var) {
 
148
      default: {
 
149
      }
 
150
      }
 
151
      print(32); state = check();// ......................................................................................................
 
152
      switch (the_var) {
 
153
      default: {
 
154
      }
 
155
      }
 
156
      print(83); state = check();// ........................................................................................
 
157
      switch (the_var) {
 
158
      default: {
 
159
      }
 
160
      }
 
161
      print(77); state = check();// ...........................................................................................................................................................................................................................................................................................
 
162
      switch (the_var) {
 
163
      default: {
 
164
      }
 
165
      }
 
166
      print(76); state = check();// ..............................................................................................................................................................................................................................................................................................................................................................................................................................
 
167
      switch (the_var) {
 
168
      default: {
 
169
      }
 
170
      }
 
171
      print(22); state = check();// .........................................................................................................
 
172
      switch (the_var) {
 
173
      default: {
 
174
      }
 
175
      }
 
176
     }
 
177
     print(72); state = check();// ..........................................................................................................
 
178
     switch (the_var) {
 
179
     state % 2 == 0 {
 
180
      label = 92;
 
181
      break L20;
 
182
      break;
 
183
     }
 
184
     default: {
 
185
     }
 
186
     }
 
187
     print(80); state = check();// ....................................
 
188
     switch (the_var) {
 
189
     state % 2 == 0 {
 
190
      continue L18;
 
191
      break;
 
192
     }
 
193
     default: {
 
194
     }
 
195
     }
 
196
     print(50); state = check();// ........................................
 
197
     switch (the_var) {
 
198
     default: {
 
199
     }
 
200
     }
 
201
     print(29); state = check();// ...............
 
202
     switch (the_var) {
 
203
     default: {
 
204
     }
 
205
     }
 
206
     print(8); state = check();// ....................................................................................................................................................................................................................................................
 
207
     switch (the_var) {
 
208
     state % 2 == 0 {
 
209
      continue L10;
 
210
      break;
 
211
     }
 
212
     default: {
 
213
     }
 
214
     }
 
215
     print(19); state = check();// ......................................................................................................................................................................................................................
 
216
     switch (the_var) {
 
217
     default: {
 
218
     }
 
219
     }
 
220
     print(56); state = check();// ....................................................................................................................................................................................................................
 
221
     switch (the_var) {
 
222
     default: {
 
223
     }
 
224
     }
 
225
     print(34); state = check();// ..........................................................................................................................................
 
226
     switch (the_var) {
 
227
     default: {
 
228
      label = 74;
 
229
     }
 
230
     }
 
231
    }
 
232
    print(62); state = check();// .......................................................................................
 
233
    switch (the_var) {
 
234
    default: {
 
235
    }
 
236
    }
 
237
   }
 
238
   if (label == 32) {
 
239
    label = 0;
 
240
    print(31); state = check();// ..........................................................................................................................................................................................................
 
241
    switch (the_var) {
 
242
    default: {
 
243
    }
 
244
    }
 
245
   }
 
246
   else if (label == 92) {
 
247
    label = 0;
 
248
    print(91); state = check();// ..............................................
 
249
    switch (the_var) {
 
250
    default: {
 
251
    }
 
252
    }
 
253
    print(33); state = check();// ....
 
254
    switch (the_var) {
 
255
    default: {
 
256
    }
 
257
    }
 
258
   }
 
259
   print(60); state = check();// ......................................................................................................................................................................................................................................
 
260
   switch (the_var) {
 
261
   default: {
 
262
   }
 
263
   }
 
264
   print(10); state = check();// ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
 
265
   switch (the_var) {
 
266
   default: {
 
267
   }
 
268
   }
 
269
   print(52); state = check();// ..............................................................................
 
270
   switch (the_var) {
 
271
   state % 2 == 0 {
 
272
    break L10;
 
273
    break;
 
274
   }
 
275
   default: {
 
276
   }
 
277
   }
 
278
   print(2); state = check();// .........
 
279
   switch (the_var) {
 
280
   default: {
 
281
   }
 
282
   }
 
283
  }
 
284
 }
 
285
 print(61); state = check();// .........................................................................................................................................................
 
286
 switch (the_var) {
 
287
 default: {
 
288
 }
 
289
 }
107
290
}
108
291