diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-03-25 18:19:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-03-25 18:19:06 -0700 |
| commit | a2d59be3f7f05c4757ade8b3b6f9fdf425de5cc0 (patch) | |
| tree | e56de4cf3568983deb75e90bd9a9cb8e17f29ee8 /src/base/io | |
| parent | e639e8fd1ba990f782385b294a6cb5a21844f688 (diff) | |
| download | abc-a2d59be3f7f05c4757ade8b3b6f9fdf425de5cc0.tar.gz abc-a2d59be3f7f05c4757ade8b3b6f9fdf425de5cc0.tar.bz2 abc-a2d59be3f7f05c4757ade8b3b6f9fdf425de5cc0.zip | |
Integrating SAT-based CEX minimization (bug fix).
Diffstat (limited to 'src/base/io')
| -rw-r--r-- | src/base/io/io.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 11b1fa57..5133ef0d 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -2492,8 +2492,8 @@ usage: fprintf( pAbc->Err, "\t the output file <file> contains values for each PI in natural order\n" ); fprintf( pAbc->Err, "\t-s : always report a sequential CEX (cycle 0 for comb) [default = %s]\n", forceSeq? "yes": "no" ); fprintf( pAbc->Err, "\t-n : write input names into the file [default = %s]\n", fNames? "yes": "no" ); - fprintf( pAbc->Err, "\t-m : minimize counter-example by dropping don't-care values [default = %s]\n", fMinimize? "yes": "no" ); - fprintf( pAbc->Err, "\t-u : use SAT-based CEX minimization [default = %s]\n", fUseSatBased? "yes": "no" ); + fprintf( pAbc->Err, "\t-m : minimize CEX by dropping don't-care values [default = %s]\n", fMinimize? "yes": "no" ); + fprintf( pAbc->Err, "\t-u : use fast SAT-based CEX minimization [default = %s]\n", fUseSatBased? "yes": "no" ); fprintf( pAbc->Err, "\t-e : use high-effort SAT-based CEX minimization [default = %s]\n", fHighEffort? "yes": "no" ); fprintf( pAbc->Err, "\t-o : use old CEX minimization algorithm [default = %s]\n", fUseOldMin? "yes": "no" ); fprintf( pAbc->Err, "\t-c : check generated CEX using ternary simulation [default = %s]\n", fCheckCex? "yes": "no" ); |