diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 11:04:48 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 11:04:48 +0700 |
| commit | 9514c327e3d8703775d138fe029b247adbf06099 (patch) | |
| tree | 1d6f626c3f68fc0ff9619ef53328a9c97dba2e54 /src | |
| parent | feb57982a999b6c6faf58b0e279d9b8949802962 (diff) | |
| download | abc-9514c327e3d8703775d138fe029b247adbf06099.tar.gz abc-9514c327e3d8703775d138fe029b247adbf06099.tar.bz2 abc-9514c327e3d8703775d138fe029b247adbf06099.zip | |
Bug fix in delay-opt framework.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 2be65ed0..a69737ea 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -41153,7 +41153,7 @@ usage: Abc_Print( -2, "\t-F <num> : the max number of fanouts to skip (1 <= num) [default = %d]\n", pPars->nTfoFanMax ); Abc_Print( -2, "\t-M <num> : the max node count of windows to consider (0 = no limit) [default = %d]\n", pPars->nWinSizeMax ); Abc_Print( -2, "\t-C <num> : the max number of conflicts in one SAT run (0 = no limit) [default = %d]\n", pPars->nBTLimit ); - Abc_Print( -2, "\t-m : toggle generating delay-oriented mapping [default = %s]\n", pPars->fMapping? "area": "area+edges" ); + Abc_Print( -2, "\t-m : toggle generating delay-oriented mapping [default = %s]\n", pPars->fMapping? "yes": "no" ); Abc_Print( -2, "\t-c : toggle using several cuts at each node [default = %s]\n", pPars->fMoreCuts? "yes": "no" ); Abc_Print( -2, "\t-d : toggle additional search for good divisors [default = %s]\n", pPars->fFindDivs? "yes": "no" ); Abc_Print( -2, "\t-p : toggle optimizing critical path only [default = %s]\n", pPars->fUsePath? "yes": "no" ); |