diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-19 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-19 08:01:00 -0700 |
commit | 73b8d1dd79f4cca7821b78df0da999d6ea6872e6 (patch) | |
tree | a1af4122d60ad491acb3e9d3d183db1ca95eb64d /src/base/abci/abcPrint.c | |
parent | c1710767b298a8acae16421a660a0874255636a5 (diff) | |
download | abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.tar.gz abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.tar.bz2 abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.zip |
Version abc60419
Diffstat (limited to 'src/base/abci/abcPrint.c')
-rw-r--r-- | src/base/abci/abcPrint.c | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index eec9e305..d7b270bf 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -70,10 +70,10 @@ void Abc_NtkPrintStats( FILE * pFile, Abc_Ntk_t * pNtk, int fFactored ) fprintf( pFile, " (choice = %d)", Num ); if ( Num = Abc_NtkGetExorNum(pNtk) ) fprintf( pFile, " (exor = %d)", Num ); - if ( Num2 = Abc_NtkGetMuxNum(pNtk) ) - fprintf( pFile, " (mux = %d)", Num2-Num ); - if ( Num2 ) - fprintf( pFile, " (other = %d)", Abc_NtkNodeNum(pNtk)-3*Num2 ); +// if ( Num2 = Abc_NtkGetMuxNum(pNtk) ) +// fprintf( pFile, " (mux = %d)", Num2-Num ); +// if ( Num2 ) +// fprintf( pFile, " (other = %d)", Abc_NtkNodeNum(pNtk)-3*Num2 ); } else fprintf( pFile, " nd = %5d", Abc_NtkNodeNum(pNtk) ); @@ -109,12 +109,10 @@ void Abc_NtkPrintStats( FILE * pFile, Abc_Ntk_t * pNtk, int fFactored ) { FILE * pTable; pTable = fopen( "stats.txt", "a+" ); - fprintf( pTable, "%s ", pNtk->pName ); - fprintf( pTable, "%4d ", Abc_NtkPiNum(pNtk) ); - fprintf( pTable, "%4d ", Abc_NtkPoNum(pNtk) ); -// fprintf( pTable, "%4d ", Abc_NtkLatchNum(pNtk) ); - fprintf( pTable, "%6d ", Abc_NtkNodeNum(pNtk) ); - fprintf( pTable, "%6d ", Abc_AigGetLevelNum(pNtk) ); + fprintf( pTable, "%s ", pNtk->pName ); + fprintf( pTable, "%d ", Abc_NtkPiNum(pNtk) ); + fprintf( pTable, "%d ", Abc_NtkNodeNum(pNtk) ); + fprintf( pTable, "%d ", Abc_AigGetLevelNum(pNtk) ); fprintf( pTable, "\n" ); fclose( pTable ); } |