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/base/abci/abcTim.c | |
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/base/abci/abcTim.c')
0 files changed, 0 insertions, 0 deletions