diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 19:51:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 19:51:39 -0700 |
| commit | 5f09917c22f69670a62a8ea49dcaea299b4bf95a (patch) | |
| tree | b6917385cafd97b9c4006eb4aaf6065ed3902915 /src/proof/abs/abs.h | |
| parent | d21c0be44a0447a5e59c16a93486baaa16f69a05 (diff) | |
| download | abc-5f09917c22f69670a62a8ea49dcaea299b4bf95a.tar.gz abc-5f09917c22f69670a62a8ea49dcaea299b4bf95a.tar.bz2 abc-5f09917c22f69670a62a8ea49dcaea299b4bf95a.zip | |
Added simplification before the concurrent call to PDR.
Diffstat (limited to 'src/proof/abs/abs.h')
0 files changed, 0 insertions, 0 deletions