diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-11 22:54:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-11 22:54:59 -0800 |
| commit | 862ebb214d2009edf70e54ff795fe97ccd967449 (patch) | |
| tree | 5c4ce97993e00e7045d8550fb323f6342ec5c751 /src/base | |
| parent | 49c5beefd40fc8047a07778fca26c8aea7d280f6 (diff) | |
| download | abc-862ebb214d2009edf70e54ff795fe97ccd967449.tar.gz abc-862ebb214d2009edf70e54ff795fe97ccd967449.tar.bz2 abc-862ebb214d2009edf70e54ff795fe97ccd967449.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/base')
| -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 17c57966..8ae4e467 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -26831,7 +26831,7 @@ usage: Abc_Print( -2, "\t-P num : the number of previous frames for UNSAT core [default = %d]\n", pPars->nFramesPast ); Abc_Print( -2, "\t-C num : the max number of SAT solver conflicts (0=unused) [default = %d]\n", pPars->nConfLimit ); Abc_Print( -2, "\t-T num : an approximate timeout, in seconds [default = %d]\n", pPars->nTimeOut ); - Abc_Print( -2, "\t-R num : stop when less than this %% of object is abstracted (0<=num<=100) [default = %d]\n", pPars->nRatioMin ); + Abc_Print( -2, "\t-R num : minimum percentage of abstracted objects (0<=num<=100) [default = %d]\n", pPars->nRatioMin ); Abc_Print( -2, "\t-t : toggle using terminal variables [default = %s]\n", pPars->fUseTermVars? "yes": "no" ); Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", pPars->fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); |