diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-06 23:35:15 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-06 23:35:15 -0800 |
commit | 9a89e3f9f5ead585370edc62e037d38dd3d3ff8f (patch) | |
tree | 2214c9d586e803faebaacd10536f0f4b6f6d407e /src/base/abci | |
parent | 986bf053ee6d218b42ceafda09c73c9ec1d284cd (diff) | |
download | abc-9a89e3f9f5ead585370edc62e037d38dd3d3ff8f.tar.gz abc-9a89e3f9f5ead585370edc62e037d38dd3d3ff8f.tar.bz2 abc-9a89e3f9f5ead585370edc62e037d38dd3d3ff8f.zip |
Changing defaults in gate-level abstraction.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c5fc491f..c412c42e 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -28943,9 +28943,10 @@ int Abc_CommandAbc9GlaCba( Abc_Frame_t * pAbc, int argc, char ** argv ) Saig_ParBmc_t Pars, * pPars = &Pars; int c, fNaiveCnf = 0; Saig_ParBmcSetDefaultParams( pPars ); - pPars->nStart = 0; //(pAbc->nFrames >= 0) ? pAbc->nFrames : 0; - pPars->nFramesMax = 50; //pPars->nStart + 10; - pPars->nConfLimit = 5000; + pPars->nStart = 0; // (pAbc->nFrames >= 0) ? pAbc->nFrames : 0; + pPars->nFramesMax = 0; // pPars->nStart + 10; + pPars->nConfLimit = 0; + pPars->nTimeOut = 60; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "SFCMTcvh" ) ) != EOF ) { @@ -29080,9 +29081,9 @@ int Abc_CommandAbc9GlaPba( Abc_Frame_t * pAbc, int argc, char ** argv ) Saig_ParBmc_t Pars, * pPars = &Pars; int c; Saig_ParBmcSetDefaultParams( pPars ); - pPars->nStart = 0; //(pAbc->nFrames >= 0) ? pAbc->nFrames : 0; + pPars->nStart = 0; //(pAbc->nFrames >= 0) ? pAbc->nFrames : 0; pPars->nFramesMax = 10; //pPars->nStart + 10; - pPars->nConfLimit = 1000000; + pPars->nConfLimit = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "SFCTcvh" ) ) != EOF ) { |