diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-07 00:40:00 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-07 00:40:00 -0500 |
| commit | 25db1d5ae0b8298c0eb410ee821fdc916f7a981d (patch) | |
| tree | ee0d929372a743e50ea70bac0a43122a52dbff0b /src | |
| parent | 8108655263fb5167840cea12c069ff64676ee996 (diff) | |
| download | abc-25db1d5ae0b8298c0eb410ee821fdc916f7a981d.tar.gz abc-25db1d5ae0b8298c0eb410ee821fdc916f7a981d.tar.bz2 abc-25db1d5ae0b8298c0eb410ee821fdc916f7a981d.zip | |
New MFS package (bug fix).
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/sfm/sfmSat.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c index 7e1635dd..f61ee798 100644 --- a/src/opt/sfm/sfmSat.c +++ b/src/opt/sfm/sfmSat.c @@ -142,9 +142,8 @@ int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p ) } // finalize RetValue = sat_solver_simplify( p->pSat ); - assert( RetValue ); p->timeCnf += Abc_Clock() - clk; - return 1; + return RetValue; } /**Function************************************************************* |