Skip to content

A
abc
Commit 44a83bde by Alan Mishchenko
Options

Adding new line (\n) after 'c' at the beginning of the comment section in AIGER format.

parent 009cc92e
Showing with 4 additions and 1 deletions
src/aig/gia/giaAiger.c
...@@ -509,6 +509,9 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS ...@@ -509,6 +509,9 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
Vec_Str_t * vStr; Vec_Str_t * vStr;
unsigned char * pCurTemp; unsigned char * pCurTemp;
pCur++; pCur++;
// skip new line if present
if ( *pCur == '\n' )
pCur++;
while ( pCur < (unsigned char *)pContents + nFileSize ) while ( pCur < (unsigned char *)pContents + nFileSize )
{ {
// read extra AIG // read extra AIG
...@@ -1119,7 +1122,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int ...@@ -1119,7 +1122,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
} }
// write the comment // write the comment
fprintf( pFile, "c" ); fprintf( pFile, "c\n" );
// write additional AIG // write additional AIG
if ( p->pAigExtra ) if ( p->pAigExtra )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment