diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 19:48:46 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 19:48:46 +0700 |
| commit | 26eb3f3684e4478d6839d7d0a92ac67003c06b20 (patch) | |
| tree | 4b6fe2f8860f94a233b2e54d44c7e10c2f9a65ad /src/opt/sbd | |
| parent | 385cb73d32de7e7d18da68fffe6fd089cb7930b2 (diff) | |
| download | abc-26eb3f3684e4478d6839d7d0a92ac67003c06b20.tar.gz abc-26eb3f3684e4478d6839d7d0a92ac67003c06b20.tar.bz2 abc-26eb3f3684e4478d6839d7d0a92ac67003c06b20.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index c9e92d73..7df97d3b 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -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; |