diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-22 19:07:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-22 19:07:00 -0800 |
commit | 0a5d856cecad549ac8da3a4bc63298b36e10d14b (patch) | |
tree | 1ca2140d2906e69f8c58f87b3a68db6c1ae30f20 /src/aig/gia | |
parent | ff938c7141206e61139b3e851ccd5f8b966fa72a (diff) | |
download | abc-0a5d856cecad549ac8da3a4bc63298b36e10d14b.tar.gz abc-0a5d856cecad549ac8da3a4bc63298b36e10d14b.tar.bz2 abc-0a5d856cecad549ac8da3a4bc63298b36e10d14b.zip |
Making GLA PBA and GLA CBA communicate information.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaAbs.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbs.c b/src/aig/gia/giaAbs.c index ab964c51..165bc996 100644 --- a/src/aig/gia/giaAbs.c +++ b/src/aig/gia/giaAbs.c @@ -484,8 +484,11 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars ) pGia->vGateClasses = vGateClasses; } // clean up the abstraction map - pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses ); - Gia_ManStop( pGiaAbs ); + if ( pGia->vGateClasses ) + { + pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses ); + Gia_ManStop( pGiaAbs ); + } if ( p->fVerbose ) Gia_ManPrintStats( pGia, 0 ); return 1; |