diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-23 20:32:37 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-23 20:32:37 -0400 |
| commit | d9b5aa49f7e77505938d14affbb7f2fe287df33d (patch) | |
| tree | 1bbd66bba06dc6b36870612416cc35cc726e3a61 /src/base/abci/abcPrint.c | |
| parent | 3f95853f3edd55307a09fceb220090e632de322c (diff) | |
| download | abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.tar.gz abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.tar.bz2 abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.zip | |
Enables dumping stats into a file.
Diffstat (limited to 'src/base/abci/abcPrint.c')
| -rw-r--r-- | src/base/abci/abcPrint.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 2f481fc7..27b9513e 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -222,6 +222,7 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum } if ( fSaveBest ) Abc_NtkCompareAndSaveBest( pNtk ); +/* if ( fDumpResult ) { char Buffer[1000] = {0}; @@ -230,6 +231,7 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum Io_Write( pNtk, Buffer, IO_FILE_BLIF ); if ( pNtk->pSpec ) ABC_FREE( pNameGen ); } +*/ // if ( Abc_NtkIsStrash(pNtk) ) // Abc_AigCountNext( pNtk->pManFunc ); @@ -322,6 +324,18 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum Abc_Print( 1,"\n" ); // print the statistic into a file + if ( fDumpResult ) + { + FILE * pTable = fopen( "abcstats.txt", "a+" ); + fprintf( pTable, "%s ", pNtk->pName ); + fprintf( pTable, "%d ", Abc_NtkPiNum(pNtk) ); + fprintf( pTable, "%d ", Abc_NtkPoNum(pNtk) ); + fprintf( pTable, "%d ", Abc_NtkNodeNum(pNtk) ); + fprintf( pTable, "%d ", Abc_NtkGetTotalFanins(pNtk) ); + fprintf( pTable, "%d ", Abc_NtkLevel(pNtk) ); + fprintf( pTable, "\n" ); + fclose( pTable ); + } /* { FILE * pTable; |