diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 19:59:56 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 19:59:56 -0700 |
commit | c30819cb058b854339858a77eaa69cd2e53858e0 (patch) | |
tree | da08351a6fc2e883aa962d8e024131fa564b572d /src/base/abci/abc.c | |
parent | 59c3151eaf04840420f7306a39d4590528eccdec (diff) | |
download | abc-c30819cb058b854339858a77eaa69cd2e53858e0.tar.gz abc-c30819cb058b854339858a77eaa69cd2e53858e0.tar.bz2 abc-c30819cb058b854339858a77eaa69cd2e53858e0.zip |
Cosmetic changes after incorporating new code of 'fxch'.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index cc687689..302b8553 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -4139,13 +4139,13 @@ static int Abc_CommandFxch( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); int c, - nMaxDivExt, + nMaxDivExt = 0, SMode = 0, fVerbose = 0, fVeryVerbose = 0; Extra_UtilGetoptReset(); - while ( (c = Extra_UtilGetopt(argc, argv, "NSvwh")) != EOF ) + while ( (c = Extra_UtilGetopt(argc, argv, "Nsvwh")) != EOF ) { switch (c) { @@ -4162,7 +4162,7 @@ static int Abc_CommandFxch( Abc_Frame_t * pAbc, int argc, char ** argv ) goto usage; break; - case 'S': + case 's': SMode ^= 1; break; @@ -4209,13 +4209,16 @@ static int Abc_CommandFxch( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: fxch [-N <num>] [-vwh]\n"); + Abc_Print( -2, "usage: fxch [-N <num>] [-svwh]\n"); Abc_Print( -2, "\t performs fast extract with cube hashing on the current network\n"); - Abc_Print( -2, "\t-N <num> : max number of divisors to extract during this run [default = %d]\n", nMaxDivExt ); - Abc_Print( -2, "\t-S : memory saving mode (slower) [default = %d]\n", SMode ); + Abc_Print( -2, "\t-N <num> : max number of divisors to extract during this run [default = unused]\n" ); + Abc_Print( -2, "\t-s : memory saving mode (slower) [default = %d]\n", SMode? "yes": "no" ); Abc_Print( -2, "\t-v : print verbose information [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-w : print additional information [default = %s]\n", fVeryVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); + Abc_Print( -2, "\t\n" ); + Abc_Print( -2, "\t This command was contributed by Bruno Schmitt from UFRGS in May 2016.\n" ); + Abc_Print( -2, "\t The author can be contacted as boschmitt at inf.ufrgs.br\n" ); return 1; } |