Skip to content

A
abc
Commit 25db1d5a by Alan Mishchenko
Options

New MFS package (bug fix).

parent 81086552
Showing with 1 additions and 2 deletions
src/opt/sfm/sfmSat.c
...@@ -142,9 +142,8 @@ int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p ) ...@@ -142,9 +142,8 @@ int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p )
} }
// finalize // finalize
RetValue = sat_solver_simplify( p->pSat ); RetValue = sat_solver_simplify( p->pSat );
assert( RetValue );
p->timeCnf += Abc_Clock() - clk; p->timeCnf += Abc_Clock() - clk;
return 1; return RetValue;
} }
/**Function************************************************************* /**Function*************************************************************
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment