summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-05-11 21:09:08 +0800
committerAlan Mishchenko <alanmi@berkeley.edu>2019-05-11 21:09:08 +0800
commite354dc40caff1730e91d89c5e3c0cfd5c98d7729 (patch)
tree91d265453bcc5a256afb66a5c99c7b4ec91b802d
parent7ccb25bfe929787dc0a4dafc0dead5951cdf0246 (diff)
downloadabc-e354dc40caff1730e91d89c5e3c0cfd5c98d7729.tar.gz
abc-e354dc40caff1730e91d89c5e3c0cfd5c98d7729.tar.bz2
abc-e354dc40caff1730e91d89c5e3c0cfd5c98d7729.zip
Fixing recent change to 'print_stats'.
-rw-r--r--src/aig/gia/giaMan.c4
-rw-r--r--src/base/abci/abc.c1
2 files changed, 3 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) );
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index b538db54..2dd673e9 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -13446,6 +13446,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
//Dau_NetworkEnumTest();
//Extra_SimulationTest( nDivMax, nNumOnes, fNewOrder );
//Mnist_ExperimentWithScaling( nDecMax );
+ //Extra_ReadForestTest();
return 0;
usage:
Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" );