diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-09 15:58:31 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-09 15:58:31 -0800 |
commit | d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73 (patch) | |
tree | ad557427500bb469bd6f18100ccc6e96d2d11ae1 /src/aig/gia | |
parent | 0b73c7638021070962a1918616b89a1cd401b56f (diff) | |
download | abc-d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73.tar.gz abc-d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73.tar.bz2 abc-d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73.zip |
Bug fix in GLA PBA (unfinished).
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaDup.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 974f39d0..1faa13cd 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -1672,7 +1672,10 @@ Gia_Man_t * Gia_ManDupAbsGates( Gia_Man_t * p, Vec_Int_t * vGateClasses ) Gia_ObjRoToRi(p, pObj)->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(Gia_ObjRoToRi(p, pObj)) ); Gia_ManSetRegNum( pNew, Vec_IntSize(vFlops) ); // clean up - pNew = Gia_ManSeqCleanup( pTemp = pNew ); +// pNew = Gia_ManSeqCleanup( pTemp = pNew ); + pNew = Gia_ManCleanup( pTemp = pNew ); + if ( Gia_ManObjNum(pTemp) != Gia_ManObjNum(pNew) ) + printf( "Gia_ManDupAbsGates() Internal error: object mismatch.\n" ); assert( Gia_ManObjNum(pTemp) == Gia_ManObjNum(pNew) ); Gia_ManStop( pTemp ); |