diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 13:46:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 13:46:07 -0700 |
| commit | 40d90ae69c4bb84e20e98aab127788a8b1755faa (patch) | |
| tree | 93b8d4932273a4c30ab52f719a7f1ab64a6353bd /src/base/abci | |
| parent | 21896ba6bc6b2e0db0493f37e62b405866e54a04 (diff) | |
| download | abc-40d90ae69c4bb84e20e98aab127788a8b1755faa.tar.gz abc-40d90ae69c4bb84e20e98aab127788a8b1755faa.tar.bz2 abc-40d90ae69c4bb84e20e98aab127788a8b1755faa.zip | |
Small changes.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 26f81c2a..b88fa79d 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -39355,9 +39355,9 @@ int Abc_CommandAbc9Exorcism( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: &exorcism [-Q N] [-V N] <file>\n" ); Abc_Print( -2, " performs heuristic exclusive sum-of-project minimization\n" ); - Abc_Print( -2, " -Q N : minimization quality [default = 0]\n"); + Abc_Print( -2, " -Q N : minimization quality [default = %d]\n", Quality); Abc_Print( -2, " increasing this number improves quality and adds to runtime\n"); - Abc_Print( -2, " -V N : verbosity level [default = 0]\n"); + Abc_Print( -2, " -V N : verbosity level [default = %d]\n", Verbosity); Abc_Print( -2, " 0 = no output; 1 = outline; 2 = verbose\n"); Abc_Print( -2, " <file>: the output file name in ESOP-PLA format\n"); Abc_Print( -2, "\n" ); |