diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-25 23:12:30 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-25 23:12:30 -0700 |
commit | 49078ffebf4d87165c625a0dad249e039adeb952 (patch) | |
tree | ff2b5819de9016b213ab078ad9b3e4e6e0a8db5c /src/base/abci/abcPrint.c | |
parent | d35b05859c44015661d36aaaa2926e0dd5f3e4dc (diff) | |
download | abc-49078ffebf4d87165c625a0dad249e039adeb952.tar.gz abc-49078ffebf4d87165c625a0dad249e039adeb952.tar.bz2 abc-49078ffebf4d87165c625a0dad249e039adeb952.zip |
Updating LUT synthesis code.
Diffstat (limited to 'src/base/abci/abcPrint.c')
-rw-r--r-- | src/base/abci/abcPrint.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 4ffb18a9..44d5c2c3 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -453,6 +453,15 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum // if ( Abc_NtkHasSop(pNtk) ) // printf( "The total number of cube pairs = %d.\n", Abc_NtkGetCubePairNum(pNtk) ); + if ( 0 ) + { + FILE * pTable = fopen( "stats.txt", "a+" ); + if ( Abc_NtkIsStrash(pNtk) ) + fprintf( pTable, "%s ", pNtk->pName ); + fprintf( pTable, "%d ", Abc_NtkNodeNum(pNtk) ); + fclose( pTable ); + } + fflush( stdout ); if ( pNtk->pExdc ) Abc_NtkPrintStats( pNtk->pExdc, fFactored, fSaveBest, fDumpResult, fUseLutLib, fPrintMuxes, fPower, fGlitch, fSkipBuf, fSkipSmall, fPrintMem ); |