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/test6.cpp | |
parent | ab506b38dbb9acb2db4f1a1b8c1608cc57409a6b (diff) |
emit switches in relooper1.5.6
Diffstat (limited to 'src/relooper/test6.cpp')
-rw-r--r-- | src/relooper/test6.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/relooper/test6.cpp b/src/relooper/test6.cpp index 90453d4c..c292e79c 100644 --- a/src/relooper/test6.cpp +++ b/src/relooper/test6.cpp @@ -7,13 +7,13 @@ int main() { void *r = rl_new_relooper(); - void *b0 = rl_new_block("//0"); + void *b0 = rl_new_block("//0", "the_var"); rl_relooper_add_block(r, b0); - void *b1 = rl_new_block("//1"); + void *b1 = rl_new_block("//1", "the_var"); rl_relooper_add_block(r, b1); - void *b2 = rl_new_block("//2"); + void *b2 = rl_new_block("//2", "the_var"); rl_relooper_add_block(r, b2); - void *b3 = rl_new_block("//3"); + void *b3 = rl_new_block("//3", "the_var"); rl_relooper_add_block(r, b3); rl_block_add_branch_to(b0, b1, "check(0)", NULL); |