diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-01 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-01 08:01:00 -0800 |
| commit | 320c429bc46728c1faddfc561c166810aa134a04 (patch) | |
| tree | c773cc96431cd38ae35484dae7d7d17a79671ac2 /src/opt/mfs/mfsInter.c | |
| parent | f65983c2c0810cfb933f696952325a81d2378987 (diff) | |
| download | abc-320c429bc46728c1faddfc561c166810aa134a04.tar.gz abc-320c429bc46728c1faddfc561c166810aa134a04.tar.bz2 abc-320c429bc46728c1faddfc561c166810aa134a04.zip | |
Version abc80301
Diffstat (limited to 'src/opt/mfs/mfsInter.c')
| -rw-r--r-- | src/opt/mfs/mfsInter.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/mfs/mfsInter.c b/src/opt/mfs/mfsInter.c index 65acd4eb..24617cd9 100644 --- a/src/opt/mfs/mfsInter.c +++ b/src/opt/mfs/mfsInter.c @@ -226,10 +226,10 @@ Hop_Obj_t * Abc_NtkMfsInterplate( Mfs_Man_t * p, int * pCands, int nCands ) pSat = Abc_MfsCreateSolverResub( p, pCands, nCands ); // solve the problem - status = sat_solver_solve( pSat, NULL, NULL, (sint64)0, (sint64)0, (sint64)0, (sint64)0 ); + status = sat_solver_solve( pSat, NULL, NULL, (sint64)p->pPars->nBTLimit, (sint64)0, (sint64)0, (sint64)0 ); if ( status != l_False ) { - printf( "Abc_NtkMfsInterplate(): Internal error. The problem is not UNSAT.\n" ); + p->nTimeOuts++; return NULL; } // get the learned clauses |