diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-18 13:56:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-18 13:56:46 -0700 |
commit | a7339fdb9978d82516d79d81aa10296205cc28d6 (patch) | |
tree | f46b30bcde0949e59617ee1aa6fc7c6f3bd77027 /src/proof | |
parent | 91f06107bfaa79e7526774e09ecdc5c9f0d489f8 (diff) | |
download | abc-a7339fdb9978d82516d79d81aa10296205cc28d6.tar.gz abc-a7339fdb9978d82516d79d81aa10296205cc28d6.tar.bz2 abc-a7339fdb9978d82516d79d81aa10296205cc28d6.zip |
Fix constant propagation after 'if'.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions