← Back to branch summary

~ubuntu-branches/ubuntu/trusty/emscripten/trusty-proposed

« back to all changes in this revision

Viewing changes to src/relooper/test_fuzz5.txt

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2014-01-19 14:12:40 UTC
  • mfrom: (1.2.4)
  • Revision ID: package-import@ubuntu.com-20140119141240-jg1l42cc158j59tn
Tags: 1.9.0~20140119~7dc8c2f-1
http://bugs.debian.org/733714
http://bugs.debian.org/735903
* New snapshot release (Closes: #733714)
* Provide sources for javascript and flash. Done in orig-tar.sh
  Available in third_party/websockify/include/web-socket-js/src/
  (Closes: #735903)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/relooper/test_fuzz5.txt
1
1
 
2
2
 
3
 
print('entry'); var label; var state; var decisions = [133, 98, 134, 143, 162, 187, 130, 87, 91, 49, 102, 47, 9, 132, 179, 176, 157, 25, 64, 161, 57, 107, 16, 167, 185, 45, 191, 180, 23, 131]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
4
 
switch (the_var) {
5
 
default: {
6
 
}
7
 
}
8
 
L1: while(1) {
9
 
 print(7); state = check();
 
3
 print('entry'); var label; var state; var decisions = [133, 98, 134, 143, 162, 187, 130, 87, 91, 49, 102, 47, 9, 132, 179, 176, 157, 25, 64, 161, 57, 107, 16, 167, 185, 45, 191, 180, 23, 131]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
10
4
 switch (the_var) {
11
 
 state % 3 == 1 {
12
 
  label = 3;
13
 
  break;
14
 
 }
15
 
 state % 3 == 0 {
16
 
  print(8); state = check();
 
5
 default: {
 
6
 }
 
7
 }
 
8
 L1: while(1) {
 
9
  print(7); state = check();
17
10
  switch (the_var) {
18
 
  state % 2 == 0 {
19
 
   label = 5;
 
11
  state % 3 == 1 {
 
12
   label = 3;
20
13
   break;
21
14
  }
22
 
  default: {
23
 
   label = 7;
24
 
  }
25
 
  }
26
 
  break;
27
 
 }
28
 
 default: {
29
 
  break L1;
30
 
 }
31
 
 }
32
 
 L5: while(1) {
33
 
  if (label == 3) {
34
 
   label = 0;
35
 
   print(2); state = check();
36
 
   switch (the_var) {
37
 
   default: {
38
 
   }
39
 
   }
40
 
   print(1); state = check();
 
15
  state % 3 == 0 {
 
16
   print(8); state = check();
41
17
   switch (the_var) {
42
18
   state % 2 == 0 {
43
19
    label = 5;
44
 
    continue L5;
45
 
    break;
46
 
   }
47
 
   default: {
48
 
    label = 7;
49
 
    continue L5;
50
 
   }
51
 
   }
52
 
  }
53
 
  else if (label == 5) {
54
 
   label = 0;
55
 
   print(4); state = check();
56
 
   switch (the_var) {
57
 
   default: {
58
 
    label = 3;
59
 
    continue L5;
60
 
   }
61
 
   }
62
 
  }
63
 
  else if (label == 7) {
64
 
   label = 0;
65
 
   print(6); state = check();
66
 
   switch (the_var) {
67
 
   state % 2 == 0 {
68
 
    continue L1;
69
 
    break;
70
 
   }
71
 
   default: {
72
 
    label = 7;
73
 
    continue L5;
74
 
   }
75
 
   }
76
 
  }
77
 
 }
78
 
}
79
 
while(1) {
80
 
 print(3); state = check();
81
 
 switch (the_var) {
82
 
 default: {
83
 
 }
84
 
 }
85
 
}
 
20
    break;
 
21
   }
 
22
   default: {
 
23
    label = 7;
 
24
   }
 
25
   }
 
26
   break;
 
27
  }
 
28
  default: {
 
29
   break L1;
 
30
  }
 
31
  }
 
32
  L5: while(1) {
 
33
   if (label == 3) {
 
34
    label = 0;
 
35
    print(2); state = check();
 
36
    switch (the_var) {
 
37
    default: {
 
38
    }
 
39
    }
 
40
    print(1); state = check();
 
41
    switch (the_var) {
 
42
    state % 2 == 0 {
 
43
     label = 5;
 
44
     continue L5;
 
45
     break;
 
46
    }
 
47
    default: {
 
48
     label = 7;
 
49
     continue L5;
 
50
    }
 
51
    }
 
52
   }
 
53
   else if (label == 5) {
 
54
    label = 0;
 
55
    print(4); state = check();
 
56
    switch (the_var) {
 
57
    default: {
 
58
     label = 3;
 
59
     continue L5;
 
60
    }
 
61
    }
 
62
   }
 
63
   else if (label == 7) {
 
64
    label = 0;
 
65
    print(6); state = check();
 
66
    switch (the_var) {
 
67
    state % 2 == 0 {
 
68
     continue L1;
 
69
     break;
 
70
    }
 
71
    default: {
 
72
     label = 7;
 
73
     continue L5;
 
74
    }
 
75
    }
 
76
   }
 
77
  }
 
78
 }
 
79
 while(1) {
 
80
  print(3); state = check();
 
81
  switch (the_var) {
 
82
  default: {
 
83
  }
 
84
  }
 
85
 }
86
86