diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 20:13:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 20:13:40 -0700 |
| commit | b5306c156677b7fffe3ec34ee061f57fc0a7671a (patch) | |
| tree | a6d4eac54a65105b37b0ad7d98fc8c5ec590ecf7 /src/proof/ssw/module.make | |
| parent | 5f09917c22f69670a62a8ea49dcaea299b4bf95a (diff) | |
| download | abc-b5306c156677b7fffe3ec34ee061f57fc0a7671a.tar.gz abc-b5306c156677b7fffe3ec34ee061f57fc0a7671a.tar.bz2 abc-b5306c156677b7fffe3ec34ee061f57fc0a7671a.zip | |
Added simplification before the concurrent call to PDR.
Diffstat (limited to 'src/proof/ssw/module.make')
0 files changed, 0 insertions, 0 deletions