diff options
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcPrint.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index bd6f135b..67cfb6d9 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -26066,8 +26066,8 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( Gia_ManHasMapping(pAbc->pGia) ) { pTemp = (Gia_Man_t *)Dsm_ManDeriveGia( pAbc->pGia, fAddMuxes ); - if ( !Abc_FrameReadFlag("silentmode") ) - printf( "Performed delay-oriented unmapping.\n" ); +// if ( !Abc_FrameReadFlag("silentmode") ) +// printf( "Performed delay-oriented unmapping.\n" ); } else if ( fAddMuxes ) { 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) ) |