diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-12-28 10:39:44 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-28 10:39:44 -0800 |
commit | 493eed11c24fc51716a08df7b72d5f0021e6535e (patch) | |
tree | 47be247a230d7890e8a37788206e0220c87573c8 /src/relooper/test_dead.txt | |
parent | 9e1c9c1577669424a9c7dee86b34f20ad6366c8e (diff) |
optimize relooper id counters1.8.0
Diffstat (limited to 'src/relooper/test_dead.txt')
-rw-r--r-- | src/relooper/test_dead.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/relooper/test_dead.txt b/src/relooper/test_dead.txt index ae54e2cd..43d557ae 100644 --- a/src/relooper/test_dead.txt +++ b/src/relooper/test_dead.txt @@ -4,6 +4,6 @@ -// block A + // block A I did not crash even though I have dead code with a branch! |