diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:09 -0700 |
| commit | 327078393947f3c2e0b5548e5fada9ee67ef6134 (patch) | |
| tree | 31edc870bb31135eae3e2a50551eaa04968474e7 /src/opt/mfs/mfsResub.c | |
| parent | 4d1bc4a268ad0be95818c718eae82e0be5c9057c (diff) | |
| download | abc-327078393947f3c2e0b5548e5fada9ee67ef6134.tar.gz abc-327078393947f3c2e0b5548e5fada9ee67ef6134.tar.bz2 abc-327078393947f3c2e0b5548e5fada9ee67ef6134.zip | |
Version abc90813
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/opt/mfs/mfsResub.c')
| -rw-r--r-- | src/opt/mfs/mfsResub.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/mfs/mfsResub.c b/src/opt/mfs/mfsResub.c index 7d0fccc0..49ce6901 100644 --- a/src/opt/mfs/mfsResub.c +++ b/src/opt/mfs/mfsResub.c @@ -107,10 +107,10 @@ int Abc_NtkMfsTryResubOnce( Mfs_Man_t * p, int * pCands, int nCands ) p->timeGia += clock() - clk; return RetValue2; } - + p->nSatCalls++; RetValue = sat_solver_solve( p->pSat, pCands, pCands + nCands, (ABC_INT64_T)p->pPars->nBTLimit, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0 ); - assert( RetValue == l_False || RetValue == l_True ); +// assert( RetValue == l_False || RetValue == l_True ); if ( RetValue != l_Undef && RetValue2 != -1 ) { |