diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-09 16:26:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-09 16:26:28 -0700 |
| commit | 4876f1e21cd395e94435aaafeaeec05839a32181 (patch) | |
| tree | 07dc3c5b9416cfae41599b5affcfee8c4dd208bc /src/aig/saig | |
| parent | f1cd8797861e5a47d1f7cc9de0616bbc2d532f43 (diff) | |
| download | abc-4876f1e21cd395e94435aaafeaeec05839a32181.tar.gz abc-4876f1e21cd395e94435aaafeaeec05839a32181.tar.bz2 abc-4876f1e21cd395e94435aaafeaeec05839a32181.zip | |
Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.
Diffstat (limited to 'src/aig/saig')
0 files changed, 0 insertions, 0 deletions