From 6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 18 Mar 2020 22:34:08 -0700 Subject: Various changes. --- src/aig/gia/giaMan.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/aig/gia/giaMan.c') 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) ); -- cgit v1.2.3