diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-11 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-11 08:01:00 -0800 |
| commit | 5f3e4c0fe21ba5e24db0c187a616a28afc0dabae (patch) | |
| tree | 30a84432ebcd370992d24ffced01ac0034072f30 /src/base/abci | |
| parent | b9e0c95b690cf363f99b182ba8e7688aef091d95 (diff) | |
| download | abc-5f3e4c0fe21ba5e24db0c187a616a28afc0dabae.tar.gz abc-5f3e4c0fe21ba5e24db0c187a616a28afc0dabae.tar.bz2 abc-5f3e4c0fe21ba5e24db0c187a616a28afc0dabae.zip | |
Version abc70211
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcPrint.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 59ce1674..0a917bbb 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -62,7 +62,8 @@ void Abc_NtkPrintStats( FILE * pFile, Abc_Ntk_t * pNtk, int fFactored ) { fprintf( pFile, " net = %5d", Abc_NtkNetNum(pNtk) ); fprintf( pFile, " nd = %5d", Abc_NtkNodeNum(pNtk) ); - fprintf( pFile, " box = %5d", Abc_NtkBoxNum(pNtk) ); + fprintf( pFile, " wbox = %3d", Abc_NtkWhiteboxNum(pNtk) ); + fprintf( pFile, " bbox = %3d", Abc_NtkBlackboxNum(pNtk) ); } else if ( Abc_NtkIsStrash(pNtk) ) { |