Skip to content

A
abc
Commit 3da87edb by Alan Mishchenko
Options

Setting default conflict limit in &fraig to be high.

parent 40bfe2fb
Showing with 1 additions and 0 deletions
src/base/abci/abc.c
...@@ -36293,6 +36293,7 @@ int Abc_CommandAbc9Fraig( Abc_Frame_t * pAbc, int argc, char ** argv ) ...@@ -36293,6 +36293,7 @@ int Abc_CommandAbc9Fraig( Abc_Frame_t * pAbc, int argc, char ** argv )
Cec_ManFraSetDefaultParams( pPars ); Cec_ManFraSetDefaultParams( pPars );
pPars->fSatSweeping = 1; pPars->fSatSweeping = 1;
pPars->nItersMax = 1000000; pPars->nItersMax = 1000000;
pPars->nBTLimit = 1000000;
Extra_UtilGetoptReset(); Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "WRILDCrmdckngxwvh" ) ) != EOF ) while ( ( c = Extra_UtilGetopt( argc, argv, "WRILDCrmdckngxwvh" ) ) != EOF )
{ {
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment