From 9a89e3f9f5ead585370edc62e037d38dd3d3ff8f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Nov 2011 23:35:15 -0800 Subject: Changing defaults in gate-level abstraction. --- src/base/abci/abc.c | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'src/base/abci') 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 ) { -- cgit v1.2.3