diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-18 10:32:17 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-18 10:32:17 +0200 |
| commit | 792e7e662d8cf06af54dbea4bb08ebbd70373d27 (patch) | |
| tree | a2ea0dc5a02f7e100721ed5df4e5c1fcc12b53c3 /src/base/abci | |
| parent | 433b9fe722abea70066527ecf89489834c492332 (diff) | |
| parent | 118eea846560750b60f69f11a9e546378a7c9bc7 (diff) | |
| download | abc-792e7e662d8cf06af54dbea4bb08ebbd70373d27.tar.gz abc-792e7e662d8cf06af54dbea4bb08ebbd70373d27.tar.bz2 abc-792e7e662d8cf06af54dbea4bb08ebbd70373d27.zip | |
Merge with parent.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 0e06d22a..2eb3f0b5 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -40471,14 +40471,14 @@ int Abc_CommandAbc9Exorcism( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: &exorcism [-Q N] [-V N] [-C N] <file>\n" ); + Abc_Print( -2, "usage: &exorcism [-Q N] [-V N] [-C N] -q <file>\n" ); Abc_Print( -2, " performs heuristic exclusive sum-of-project minimization\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 = %d]\n", Verbosity); Abc_Print( -2, " 0 = no output; 1 = outline; 2 = verbose\n"); - Abc_Print( -2, " -C N : maximum number of cubes in startign cover [default = %d]\n", nCubesMax ); -// Abc_Print( -2, " -q : toggle using quantum cost [default = %s]\n", fUseQCost? "yes": "no" ); + Abc_Print( -2, " -C N : maximum number of cubes in startign cover [default = %d]\n", nCubesMax ); + Abc_Print( -2, " -q : toggle using quantum cost [default = %s]\n", fUseQCost? "yes": "no" ); Abc_Print( -2, " <file>: the output file name in ESOP-PLA format\n"); Abc_Print( -2, "\n" ); return 1; |