aboutsummaryrefslogtreecommitdiff
path: root/src/relooper/test6.txt
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-12-28 10:39:44 -0800
committerAlon Zakai <alonzakai@gmail.com>2013-12-28 10:39:44 -0800
commit493eed11c24fc51716a08df7b72d5f0021e6535e (patch)
tree47be247a230d7890e8a37788206e0220c87573c8 /src/relooper/test6.txt
parent9e1c9c1577669424a9c7dee86b34f20ad6366c8e (diff)
optimize relooper id counters1.8.0
Diffstat (limited to 'src/relooper/test6.txt')
-rw-r--r--src/relooper/test6.txt38
1 files changed, 19 insertions, 19 deletions
diff --git a/src/relooper/test6.txt b/src/relooper/test6.txt
index f9d6e93a..837fc243 100644
--- a/src/relooper/test6.txt
+++ b/src/relooper/test6.txt
@@ -1,26 +1,26 @@
-//0
-L1: do {
- switch (the_var) {
- check(0) {
- //1
+ //0
+ L1: do {
switch (the_var) {
- check(1) {
+ check(0) {
+ //1
+ switch (the_var) {
+ check(1) {
+ break;
+ }
+ default: {
+ break L1;
+ }
+ }
+ //2
+ switch (the_var) {
+ default: {
+ }
+ }
break;
}
default: {
- break L1;
}
}
- //2
- switch (the_var) {
- default: {
- }
- }
- break;
- }
- default: {
- }
- }
-} while(0);
-//3
+ } while(0);
+ //3