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 | |
| parent | 9c154cfe61ea8792a9773f894b4c17fb2d9b255a (diff) | |
| download | abc-6db6607114b68fce954966442f56c966b2f7f172.tar.gz abc-6db6607114b68fce954966442f56c966b2f7f172.tar.bz2 abc-6db6607114b68fce954966442f56c966b2f7f172.zip | |
Improvements BLIF parser.
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) ) |