diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-05-31 17:10:26 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-05-31 17:10:26 -0700 |
| commit | d5dbda3d33772315c701cc3229d26cb0b76f5fe5 (patch) | |
| tree | a63cf812af0983fde57b04aeedb233330414a235 /src/relooper/test.txt | |
| parent | 935fd853f1cef7f89f0633f20eeed43c11899ae6 (diff) | |
more relooper work towards arbitrary splitting
Diffstat (limited to 'src/relooper/test.txt')
| -rw-r--r-- | src/relooper/test.txt | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/relooper/test.txt b/src/relooper/test.txt index c6a895ff..2ff70e66 100644 --- a/src/relooper/test.txt +++ b/src/relooper/test.txt @@ -129,8 +129,14 @@ do { break; } } while(0); -if (label == 33) { - // block C; +do { + if (label == 33) { + // block C; + break; + } +} while(0); +while(1) { + // block E + // block F } -// block E |