diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-05 13:32:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-05 13:32:52 -0700 |
| commit | 8b0302cdab633f6ba6b5e317e58212cb4f94c493 (patch) | |
| tree | c6a1254dc09d6ad610648ac96602166f3ff0e853 /src/base | |
| parent | 3c43fbba1aa7b11bd027ad60767ec145ef8b2c1e (diff) | |
| download | abc-8b0302cdab633f6ba6b5e317e58212cb4f94c493.tar.gz abc-8b0302cdab633f6ba6b5e317e58212cb4f94c493.tar.bz2 abc-8b0302cdab633f6ba6b5e317e58212cb4f94c493.zip | |
Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 8983ba39..3c5ccdb0 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -19629,13 +19629,13 @@ int Abc_CommandBmc2( Abc_Frame_t * pAbc, int argc, char ** argv ) nStart = 0; nFrames = 0; nSizeMax = 200000; - nBTLimit = 2000; - nBTLimitAll = 2000000; + nBTLimit = 0; + nBTLimitAll = 0; nNodeDelta = 2000; nTimeOut = 0; fRewrite = 0; fNewAlgo = 0; - fOrDecomp = 1; + fOrDecomp = 0; fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "SFNTCGDLruvh" ) ) != EOF ) |