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/giaAbs.c | |
| 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/giaAbs.c')
| -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; |