diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-23 02:07:50 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-23 02:07:50 +0700 |
commit | ac1207abea41ad9d3dd304cdc9a10a899eb8cbcc (patch) | |
tree | d1fd583816b9e3cc1b83889d237c60373397a3d1 /src/sat/bmc/bmc.h | |
parent | 70655d5d3152a362de44589fa8e77446a928a9d2 (diff) | |
download | abc-ac1207abea41ad9d3dd304cdc9a10a899eb8cbcc.tar.gz abc-ac1207abea41ad9d3dd304cdc9a10a899eb8cbcc.tar.bz2 abc-ac1207abea41ad9d3dd304cdc9a10a899eb8cbcc.zip |
Enabled detecting CEXes in multiple POs without stopping (sim3 -a).
Diffstat (limited to 'src/sat/bmc/bmc.h')
0 files changed, 0 insertions, 0 deletions