From a28dd33df07b9b4932cf32855005f4cdc68316c9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 17 Nov 2014 11:49:30 -0800 Subject: Integrating mfs2 package to work with boxes. --- src/opt/sfm/sfmSat.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/opt') diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c index f61ee798..0d5bbca2 100644 --- a/src/opt/sfm/sfmSat.c +++ b/src/opt/sfm/sfmSat.c @@ -91,7 +91,8 @@ int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p ) if ( Vec_IntSize(vClause) == 0 ) break; RetValue = sat_solver_addclause( p->pSat, Vec_IntArray(vClause), Vec_IntArray(vClause) + Vec_IntSize(vClause) ); - assert( RetValue ); + if ( RetValue == 0 ) + return 0; } } if ( Vec_IntSize(p->vTfo) > 0 ) @@ -126,7 +127,8 @@ int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p ) if ( Vec_IntSize(vClause) == 0 ) break; RetValue = sat_solver_addclause( p->pSat, Vec_IntArray(vClause), Vec_IntArray(vClause) + Vec_IntSize(vClause) ); - assert( RetValue ); + if ( RetValue == 0 ) + return 0; } } // create XOR clauses for the roots -- cgit v1.2.3