diff options
Diffstat (limited to 'src/relooper/test6.txt')
-rw-r--r-- | src/relooper/test6.txt | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/src/relooper/test6.txt b/src/relooper/test6.txt index 4f29f292..f9d6e93a 100644 --- a/src/relooper/test6.txt +++ b/src/relooper/test6.txt @@ -1,11 +1,25 @@ //0 -do { - if (check(0)) { +L1: do { + switch (the_var) { + check(0) { //1 - if (!(check(1))) { + switch (the_var) { + check(1) { break; } + default: { + break L1; + } + } //2 + switch (the_var) { + default: { + } + } + break; + } + default: { + } } } while(0); //3 |