diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-16 16:14:16 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-16 16:14:16 -0800 |
commit | d6d0627d134036b97f81c595ff9316fe2b970a41 (patch) | |
tree | 32bc9ba3a8a710f0ce0e95e854399fcf62dbbb36 /src/base/cba/cbaWriteBlif.c | |
parent | 1a5a11cbc6054fc63f49a0ecb57ccdcf1bd480b0 (diff) | |
download | abc-d6d0627d134036b97f81c595ff9316fe2b970a41.tar.gz abc-d6d0627d134036b97f81c595ff9316fe2b970a41.tar.bz2 abc-d6d0627d134036b97f81c595ff9316fe2b970a41.zip |
Organizing commands for barbuf-aware flow.
Diffstat (limited to 'src/base/cba/cbaWriteBlif.c')
-rw-r--r-- | src/base/cba/cbaWriteBlif.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/cba/cbaWriteBlif.c b/src/base/cba/cbaWriteBlif.c index 01749754..656ae8c0 100644 --- a/src/base/cba/cbaWriteBlif.c +++ b/src/base/cba/cbaWriteBlif.c @@ -114,7 +114,7 @@ void Cba_PrsWriteBlif( char * pFileName, Cba_Man_t * p ) printf( "Cannot open output file \"%s\".\n", pFileName ); return; } - fprintf( pFile, "// Design \"%s\" written by ABC on %s\n\n", Cba_ManName(p), Extra_TimeStamp() ); + fprintf( pFile, "# Design \"%s\" written by ABC on %s\n\n", Cba_ManName(p), Extra_TimeStamp() ); Cba_ManForEachNtk( p, pNtk, i ) Cba_PrsWriteBlifNtk( pFile, pNtk ); fclose( pFile ); @@ -207,7 +207,8 @@ void Cba_ManWriteBlif( char * pFileName, Cba_Man_t * p ) printf( "Cannot open output file \"%s\".\n", pFileName ); return; } - fprintf( pFile, "// Design \"%s\" written by ABC on %s\n\n", Cba_ManName(p), Extra_TimeStamp() ); + fprintf( pFile, "# Design \"%s\" written by ABC on %s\n\n", Cba_ManName(p), Extra_TimeStamp() ); + Cba_ManAssignInternNames( p ); Cba_ManForEachNtk( p, pNtk, i ) Cba_ManWriteBlifNtk( pFile, pNtk ); fclose( pFile ); |