Updates to delay optimization project.

This commit is contained in:
Alan Mishchenko 2017-01-01 19:48:46 +07:00
parent 385cb73d32
commit 26eb3f3684
1 changed files with 1 additions and 1 deletions

View File

@ -1894,7 +1894,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs )
Sbd_StoDerefObj( p->pSto, Pivot );
for ( i = iObjLast; i < Gia_ManObjNum(p->pGia); i++ )
{
Gia_Obj_t * pObjI = Gia_ManObj( p->pGia, i );
//Gia_Obj_t * pObjI = Gia_ManObj( p->pGia, i );
abctime clk = Abc_Clock();
int Delay = Sbd_StoComputeCutsNode( p->pSto, i );
p->timeCut += Abc_Clock() - clk;