diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-14 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-14 08:01:00 -0700 |
| commit | 9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4 (patch) | |
| tree | 52895e3901def014deaa5920d92637a8171d8acd /src/base/io/ioWriteBlif.c | |
| parent | f2b6b3be958e6d5629dc8a8b6c1b77195c16a2aa (diff) | |
| download | abc-9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4.tar.gz abc-9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4.tar.bz2 abc-9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4.zip | |
Version abc50814
Diffstat (limited to 'src/base/io/ioWriteBlif.c')
| -rw-r--r-- | src/base/io/ioWriteBlif.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c index 79de62b8..5c83aad2 100644 --- a/src/base/io/ioWriteBlif.c +++ b/src/base/io/ioWriteBlif.c @@ -86,6 +86,7 @@ void Io_WriteBlif( Abc_Ntk_t * pNtk, char * FileName, int fWriteLatches ) return; } // write the model name + fprintf( pFile, "# Benchmark \"%s\" written by ABC on %s\n", pNtk->pName, Extra_TimeStamp() ); fprintf( pFile, ".model %s\n", Abc_NtkName(pNtk) ); // write the network Io_NtkWriteOne( pFile, pNtk, fWriteLatches ); @@ -145,7 +146,7 @@ void Io_NtkWriteOne( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches ) } // write each internal node - pProgress = Extra_ProgressBarStart( stdout, Abc_NtkNodeNum(pNtk) ); + pProgress = Extra_ProgressBarStart( stdout, Abc_NtkObjNumMax(pNtk) ); Abc_NtkForEachNode( pNtk, pNode, i ) { Extra_ProgressBarUpdate( pProgress, i, NULL ); |