diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-18 22:34:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-18 22:34:08 -0700 |
| commit | 6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037 (patch) | |
| tree | bd13cd66aa186c654d126d25e06a460e3aa28d34 /src/aig/gia/giaMan.c | |
| parent | e72438b2d3b83d9a5ac646a2499f4374b29ebfbd (diff) | |
| download | abc-6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037.tar.gz abc-6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037.tar.bz2 abc-6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037.zip | |
Various changes.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 0958cdfa..447ecea9 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -82,7 +82,7 @@ Gia_Man_t * Gia_ManStart( int nObjsMax ) void Gia_ManStop( Gia_Man_t * p ) { extern void Gia_DatFree( Gia_Dat_t * p ); - Gia_DatFree( p->pUserData ); + Gia_DatFree( p->pUData ); if ( p->vSeqModelVec ) Vec_PtrFreeFree( p->vSeqModelVec ); Gia_ManStaticFanoutStop( p ); @@ -487,6 +487,7 @@ void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) { extern float Gia_ManLevelAve( Gia_Man_t * p ); + int fHaveLevels = p->vLevels != NULL; if ( pPars && pPars->fMiter ) { Gia_ManPrintStatsMiter( p, 0 ); @@ -542,7 +543,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " %s(%.2f)%s", "\033[1;35m", Gia_ManLevelAve(p), "\033[0m" ); #endif } - Vec_IntFreeP( &p->vLevels ); + if ( !fHaveLevels ) + Vec_IntFreeP( &p->vLevels ); if ( pPars && pPars->fCut ) Abc_Print( 1, " cut = %d(%d)", Gia_ManCrossCut(p, 0), Gia_ManCrossCut(p, 1) ); Abc_Print( 1, " mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) ); |