diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-11 21:09:08 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-11 21:09:08 +0800 |
| commit | e354dc40caff1730e91d89c5e3c0cfd5c98d7729 (patch) | |
| tree | 91d265453bcc5a256afb66a5c99c7b4ec91b802d /src/aig/gia/giaMan.c | |
| parent | 7ccb25bfe929787dc0a4dafc0dead5951cdf0246 (diff) | |
| download | abc-e354dc40caff1730e91d89c5e3c0cfd5c98d7729.tar.gz abc-e354dc40caff1730e91d89c5e3c0cfd5c98d7729.tar.bz2 abc-e354dc40caff1730e91d89c5e3c0cfd5c98d7729.zip | |
Fixing recent change to 'print_stats'.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 38fb9817..4f0c4d0c 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -450,7 +450,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Gia_ManPrintStatsMiter( p, 0 ); return; } - if ( pPars->fNoColor ) + if ( pPars && pPars->fNoColor ) { if ( p->pName ) Abc_Print( 1, "%-8s : ", p->pName ); @@ -476,7 +476,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " ff =%7d", Gia_ManRegNum(p) ); if ( Gia_ManRegBoxNum(p) ) Abc_Print( 1, " boxff =%d(%d)", Gia_ManRegBoxNum(p), Gia_ManClockDomainNum(p) ); - if ( pPars->fNoColor ) + if ( pPars && pPars->fNoColor ) { Abc_Print( 1, " %s =%8d", p->pMuxes? "nod" : "and", Gia_ManAndNum(p) ); Abc_Print( 1, " lev =%5d", Gia_ManLevelNum(p) ); |