diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-08-16 17:02:43 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-08-21 17:09:16 -0700 |
commit | d705c37e34ad11b01ad33e7c985818a14623dff7 (patch) | |
tree | bb1a48ff1208f5a4efda08d6f2a5c1827e55a0b3 /src/relooper/test5.txt | |
parent | ab506b38dbb9acb2db4f1a1b8c1608cc57409a6b (diff) |
emit switches in relooper1.5.6
Diffstat (limited to 'src/relooper/test5.txt')
-rw-r--r-- | src/relooper/test5.txt | 44 |
1 files changed, 34 insertions, 10 deletions
diff --git a/src/relooper/test5.txt b/src/relooper/test5.txt index 83755289..82ef5edf 100644 --- a/src/relooper/test5.txt +++ b/src/relooper/test5.txt @@ -1,32 +1,56 @@ //0 -if (check(0)) { - while(1) { +switch (the_var) { +check(0) { + L2: while(1) { //1 - if (!(check(1))) { + switch (the_var) { + check(1) { break; } + default: { + break L2; + } + } } - while(1) { + L4: while(1) { //2 - if (!(check(2))) { + switch (the_var) { + check(2) { break; } + default: { + break L4; + } + } } //3 -} else { + break; +} +default: { goingFrom0to4(); - while(1) { + L7: while(1) { //4 - if (!(check(4))) { + switch (the_var) { + check(4) { break; } + default: { + break L7; + } + } } - while(1) { + L9: while(1) { //5 - if (check(5)) { + switch (the_var) { + check(5) { + break L9; break; } + default: { + } + } } //3 } +} |