diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-27 18:47:45 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-27 18:47:45 -0700 |
commit | 6db6607114b68fce954966442f56c966b2f7f172 (patch) | |
tree | 011ac578ab9751fc019ff61cd309cf59265ed0bf /src/base/abci/abcPrint.c | |
parent | 9c154cfe61ea8792a9773f894b4c17fb2d9b255a (diff) | |
download | abc-6db6607114b68fce954966442f56c966b2f7f172.tar.gz abc-6db6607114b68fce954966442f56c966b2f7f172.tar.bz2 abc-6db6607114b68fce954966442f56c966b2f7f172.zip |
Improvements BLIF parser.
Diffstat (limited to 'src/base/abci/abcPrint.c')
-rw-r--r-- | src/base/abci/abcPrint.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index cdbbe4b0..2f481fc7 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -236,10 +236,10 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum #ifdef WIN32 SetConsoleTextAttribute( GetStdHandle(STD_OUTPUT_HANDLE), 15 ); // bright - Abc_Print( 1,"%-13s:", pNtk->pName ); + Abc_Print( 1,"%-30s:", pNtk->pName ); SetConsoleTextAttribute( GetStdHandle(STD_OUTPUT_HANDLE), 7 ); // normal #else - Abc_Print( 1,"%s%-13s:%s", "\033[1;37m", pNtk->pName, "\033[0m" ); // bright + Abc_Print( 1,"%s%-30s:%s", "\033[1;37m", pNtk->pName, "\033[0m" ); // bright #endif Abc_Print( 1," i/o =%5d/%5d", Abc_NtkPiNum(pNtk), Abc_NtkPoNum(pNtk) ); if ( Abc_NtkConstrNum(pNtk) ) |