luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Not calling a changed API until it is fixed.

This commit is contained in:
Alan Mishchenko 2017-06-27 12:44:33 -07:00
parent 584d52ba85
commit 96c5b56245
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaSatEdge.c
View File

@ -459,7 +459,7 @@ void Seg_ManComputeDelay( Gia_Man_t * pGia, int DelayInit, int nFanouts, int fTw
sat_solver_set_runtime_limit( p->pSat, nTimeOut ? nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0 );
sat_solver_set_random( p->pSat, 1 );
sat_solver_set_polarity( p->pSat, Vec_IntArray(p->vPolars), Vec_IntSize(p->vPolars) );
sat_solver_set_var_activity( p->pSat, NULL, p->nVars );
//sat_solver_set_var_activity( p->pSat, NULL, p->nVars );
// increment delay gradually
for ( Delay = p->DelayMax; Delay >= 0; Delay-- )
{

2
src/aig/gia/giaSatLE.c
View File

@ -637,7 +637,7 @@ void Sle_ManDeriveCnf( Sle_Man_t * p, int nBTLimit, int fDynamic )
sat_solver_set_runtime_limit( p->pSat, nTimeOut ? nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0 );
sat_solver_set_random( p->pSat, 1 );
sat_solver_set_polarity( p->pSat, Vec_IntArray(p->vPolars), Vec_IntSize(p->vPolars) );
sat_solver_set_var_activity( p->pSat, NULL, p->nVarsTotal );
//sat_solver_set_var_activity( p->pSat, NULL, p->nVarsTotal );
// set drivers to be mapped
Gia_ManForEachCoDriverId( p->pGia, iObj, i )