diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-12 11:43:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-12 11:43:14 -0700 |
| commit | 4c0b78cf7f316c475d5b7c65359b9c879bad9256 (patch) | |
| tree | 363d26cca01dff4f125e3f6a93bc546a9b1a951c /src/base/abci | |
| parent | efbf5208a2ee19582f16471dae36697aff8d1f41 (diff) | |
| download | abc-4c0b78cf7f316c475d5b7c65359b9c879bad9256.tar.gz abc-4c0b78cf7f316c475d5b7c65359b9c879bad9256.tar.bz2 abc-4c0b78cf7f316c475d5b7c65359b9c879bad9256.zip | |
Updates to &bmcs to help debugging.
Diffstat (limited to 'src/base/abci')
| -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 a7688741..791bad1e 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -40124,7 +40124,7 @@ int Abc_CommandAbc9SBmc( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: &bmcs [-PCFAT num] [-gvwh]\n" ); + Abc_Print( -2, "usage: &bmcs [-PCFAT num] [-gevwh]\n" ); Abc_Print( -2, "\t performs bounded model checking\n" ); Abc_Print( -2, "\t-P num : the number of parallel solvers [default = %d]\n", pPars->nProcs ); Abc_Print( -2, "\t-C num : the SAT solver conflict limit [default = %d]\n", pPars->nConfLimit ); @@ -40132,7 +40132,7 @@ usage: Abc_Print( -2, "\t-A num : the number of additional frames to unroll [default = %d]\n", pPars->nFramesAdd ); Abc_Print( -2, "\t-T num : approximate timeout in seconds [default = %d]\n", pPars->nTimeOut ); Abc_Print( -2, "\t-g : toggle using Glucose 3.0 [default = %s]\n", pPars->fUseGlucose? "Glucose" : "Satoko" ); -// Abc_Print( -2, "\t-e : toggle using variable eliminatation [default = %s]\n", pPars->fUseEliminate?"yes": "no" ); + Abc_Print( -2, "\t-e : toggle using variable eliminatation [default = %s]\n", pPars->fUseEliminate?"yes": "no" ); Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", pPars->fVerbose? "yes": "no" ); Abc_Print( -2, "\t-w : toggle printing information about unfolding [default = %s]\n", pPars->fVeryVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); |