diff options
Diffstat (limited to 'src/relooper/test_fuzz6.txt')
| -rw-r--r-- | src/relooper/test_fuzz6.txt | 53 |
1 files changed, 23 insertions, 30 deletions
diff --git a/src/relooper/test_fuzz6.txt b/src/relooper/test_fuzz6.txt index af188ab1..bd45e8fd 100644 --- a/src/relooper/test_fuzz6.txt +++ b/src/relooper/test_fuzz6.txt @@ -40,39 +40,14 @@ while(1) { print(16); state = check();// ................................................................................................................................................................................................................................................................................................................................................................ print(57); state = check();// ........................................................................................................................................................................................................................................................................................................................... print(39); state = check();// ................ - if (state % 3 == 0) { - label = 73; - } else if (state % 3 == 1) { + if (state % 3 == 1) { label = 74; - } else { + } else if (!(state % 3 == 0)) { label = 32; break; } while(1) { - if (label == 73) { - label = 0; - print(72); state = check();// .......................................................................................................... - if (state % 2 == 0) { - label = 92; - break L20; - } - print(80); state = check();// .................................... - if (state % 2 == 0) { - continue L18; - } - print(50); state = check();// ........................................ - print(29); state = check();// ............... - print(8); state = check();// .................................................................................................................................................................................................................................................... - if (state % 2 == 0) { - continue L10; - } - print(19); state = check();// ...................................................................................................................................................................................................................... - print(56); state = check();// .................................................................................................................................................................................................................... - print(34); state = check();// .......................................................................................................................................... - label = 74; - continue; - } - else if (label == 74) { + if (label == 74) { label = 0; print(73); state = check();// . if (state % 3 == 1) { @@ -87,9 +62,27 @@ while(1) { print(77); state = check();// ........................................................................................................................................................................................................................................................................................... print(76); state = check();// .............................................................................................................................................................................................................................................................................................................................................................................................................................. print(22); state = check();// ......................................................................................................... - label = 73; - continue; } + print(72); state = check();// .......................................................................................................... + if (state % 2 == 0) { + label = 92; + break L20; + } + print(80); state = check();// .................................... + if (state % 2 == 0) { + continue L18; + } + print(50); state = check();// ........................................ + print(29); state = check();// ............... + print(8); state = check();// .................................................................................................................................................................................................................................................... + if (state % 2 == 0) { + continue L10; + } + print(19); state = check();// ...................................................................................................................................................................................................................... + print(56); state = check();// .................................................................................................................................................................................................................... + print(34); state = check();// .......................................................................................................................................... + label = 74; + continue; } print(62); state = check();// ....................................................................................... } |