diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-25 20:23:44 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-25 20:23:44 -0700 |
commit | 9519341aaf8b7448cf946687e1a1fad504b0034d (patch) | |
tree | face1ba8c1786d21d1e674b71d22ea4b04359c3e /src/base/abci/abc.c | |
parent | 9d67bbe583299c1e1586f6731abc196f15108471 (diff) | |
download | abc-9519341aaf8b7448cf946687e1a1fad504b0034d.tar.gz abc-9519341aaf8b7448cf946687e1a1fad504b0034d.tar.bz2 abc-9519341aaf8b7448cf946687e1a1fad504b0034d.zip |
Extending library handling to 8 inputs.
Diffstat (limited to 'src/base/abci/abc.c')
-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 e1a11378..12e911a6 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -5233,7 +5233,7 @@ int Abc_CommandMfs3( Abc_Frame_t * pAbc, int argc, char ** argv ) } pPars->nVarMax = atoi(argv[globalUtilOptind]); globalUtilOptind++; - if ( pPars->nVarMax < 2 || pPars->nVarMax > 6 ) + if ( pPars->nVarMax < 2 || pPars->nVarMax > 8 ) goto usage; break; case 'L': @@ -5378,7 +5378,7 @@ usage: Abc_Print( -2, "\t-O <num> : the number of levels in the TFO cone (0 <= num) [default = %d]\n", pPars->nTfoLevMax ); Abc_Print( -2, "\t-V <num> : the number of levels in the TFI/TFO cone (1 <= num) [default = %d]\n", pPars->nTfiLevMax ); Abc_Print( -2, "\t-F <num> : the max number of fanouts to skip (1 <= num) [default = %d]\n", pPars->nFanoutMax ); - Abc_Print( -2, "\t-K <num> : the max number of variables (2 <= num <= 6 ) [default = %d]\n", pPars->nVarMax ); + Abc_Print( -2, "\t-K <num> : the max number of variables (2 <= num <= 8 ) [default = %d]\n", pPars->nVarMax ); Abc_Print( -2, "\t-L <num> : the min size of max fanout-free cone (MFFC) (area-only) [default = %d]\n", pPars->nMffcMin ); Abc_Print( -2, "\t-H <num> : the max size of max fanout-free cone (MFFC) (area-only) [default = %d]\n", pPars->nMffcMax ); Abc_Print( -2, "\t-D <num> : the max number of decompositions to try (1 <= num <= 4) [default = %d]\n", pPars->nDecMax ); |