From 327078393947f3c2e0b5548e5fada9ee67ef6134 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2015 23:05:09 -0700 Subject: Version abc90813 committer: Baruch Sterin --- src/opt/mfs/mfsResub.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/opt/mfs') 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 ) { -- cgit v1.2.3