diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-28 20:09:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-28 20:09:08 -0700 |
| commit | b7cd22786ed2643d3730ec5d8a5f2fbb30393be6 (patch) | |
| tree | 32b4b785c1bf4966198400af7a1a2f0f722ff01c /src/base/abci/abcPrint.c | |
| parent | fdb8d83f7a249ecd4049d0a662052f241ee71b13 (diff) | |
| download | abc-b7cd22786ed2643d3730ec5d8a5f2fbb30393be6.tar.gz abc-b7cd22786ed2643d3730ec5d8a5f2fbb30393be6.tar.bz2 abc-b7cd22786ed2643d3730ec5d8a5f2fbb30393be6.zip | |
Changed to 'print_level' to be less verbose by default.
Diffstat (limited to 'src/base/abci/abcPrint.c')
| -rw-r--r-- | src/base/abci/abcPrint.c | 27 |
1 files changed, 15 insertions, 12 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 9f8c7e0d..38b21a13 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -811,7 +811,7 @@ void Abc_NodePrintFactor( FILE * pFile, Abc_Obj_t * pNode, int fUseRealNames ) SeeAlso [] ***********************************************************************/ -void Abc_NtkPrintLevel( FILE * pFile, Abc_Ntk_t * pNtk, int fProfile, int fListNodes ) +void Abc_NtkPrintLevel( FILE * pFile, Abc_Ntk_t * pNtk, int fProfile, int fListNodes, int fVerbose ) { Abc_Obj_t * pNode; int i, k, Length; @@ -901,18 +901,21 @@ void Abc_NtkPrintLevel( FILE * pFile, Abc_Ntk_t * pNtk, int fProfile, int fListN } assert( Abc_NtkIsStrash(pNtk) ); - // find the longest name - Length = 0; - Abc_NtkForEachCo( pNtk, pNode, i ) - if ( Length < (int)strlen(Abc_ObjName(pNode)) ) - Length = strlen(Abc_ObjName(pNode)); - if ( Length < 5 ) - Length = 5; - // print stats for each output - Abc_NtkForEachCo( pNtk, pNode, i ) + if ( fVerbose ) { - fprintf( pFile, "CO %4d : %*s ", i, Length, Abc_ObjName(pNode) ); - Abc_NodePrintLevel( pFile, pNode ); + // find the longest name + Length = 0; + Abc_NtkForEachCo( pNtk, pNode, i ) + if ( Length < (int)strlen(Abc_ObjName(pNode)) ) + Length = strlen(Abc_ObjName(pNode)); + if ( Length < 5 ) + Length = 5; + // print stats for each output + Abc_NtkForEachCo( pNtk, pNode, i ) + { + fprintf( pFile, "CO %4d : %*s ", i, Length, Abc_ObjName(pNode) ); + Abc_NodePrintLevel( pFile, pNode ); + } } } |