diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-11-11 10:04:33 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-11 10:04:33 -0800 |
| commit | 3634b45c63e420910c77a631352ab257b8a6039f (patch) | |
| tree | e43051c8b9b6339cddb57a7d8dd6929fbeedb56a /src/relooper/test6.txt | |
| parent | 795bcc6e76e59824d725acea1e9c2e1c553a6658 (diff) | |
add relooper sources
Diffstat (limited to 'src/relooper/test6.txt')
| -rw-r--r-- | src/relooper/test6.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/relooper/test6.txt b/src/relooper/test6.txt new file mode 100644 index 00000000..c5effd08 --- /dev/null +++ b/src/relooper/test6.txt @@ -0,0 +1,12 @@ +//0 +do { + if (check(0)) { + //1 + if (!(check(1))) { + break; + } + //2 + } +} while(0); +//3 + |