Skip to content

A
abc
Commit 5b71a8f8 by Alan Mishchenko
Options

Added support for constraints in AIGER (bug fix).

parent 5b616990
Showing with 3 additions and 3 deletions
src/aig/gia/giaAiger.c
...@@ -525,7 +525,7 @@ Gia_Man_t * Gia_ReadAiger2( char * pFileName, int fCheck ) ...@@ -525,7 +525,7 @@ Gia_Man_t * Gia_ReadAiger2( char * pFileName, int fCheck )
// read switching activity // read switching activity
pNew->pSwitching = Gia_ReadSwitching( &pCur, Gia_ManObjNum(pNew) ); pNew->pSwitching = Gia_ReadSwitching( &pCur, Gia_ManObjNum(pNew) );
} }
if ( *pCur == 't' ) if ( *pCur == 'c' )
{ {
pCur++; pCur++;
// read number of constraints // read number of constraints
...@@ -730,7 +730,7 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck ...@@ -730,7 +730,7 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
// read switching activity // read switching activity
pNew->pSwitching = Gia_ReadSwitching( &pCur, Gia_ManObjNum(pNew) ); pNew->pSwitching = Gia_ReadSwitching( &pCur, Gia_ManObjNum(pNew) );
} }
if ( *pCur == 't' ) if ( *pCur == 'c' )
{ {
pCur++; pCur++;
// read number of constraints // read number of constraints
...@@ -1346,7 +1346,7 @@ void Gia_WriteAiger( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int ...@@ -1346,7 +1346,7 @@ void Gia_WriteAiger( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
{ {
unsigned char Buffer[10]; unsigned char Buffer[10];
Gia_WriteInt( Buffer, p->nConstrs ); Gia_WriteInt( Buffer, p->nConstrs );
fprintf( pFile, "t" ); fprintf( pFile, "c" );
fwrite( Buffer, 1, 4, pFile ); fwrite( Buffer, 1, 4, pFile );
} }
// write name // write name
......
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