diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-13 10:11:39 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-13 10:11:39 -0800 |
| commit | 5a8f8b8aa47b2130fe7ed1568ca4e70ffc827c51 (patch) | |
| tree | 7743d5a2277531c80324a777c595afae1664ca30 /src | |
| parent | f0d961c825fd476d9a478ca3023f2fd92b0c0b5f (diff) | |
| download | abc-5a8f8b8aa47b2130fe7ed1568ca4e70ffc827c51.tar.gz abc-5a8f8b8aa47b2130fe7ed1568ca4e70ffc827c51.tar.bz2 abc-5a8f8b8aa47b2130fe7ed1568ca4e70ffc827c51.zip | |
Unifification of custom extensions.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 7a10e09d..65519b82 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -531,10 +531,10 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS { extern Gia_Rpr_t * Gia_AigerReadEquivClasses( unsigned char ** ppPos, int nSize ); pCur++; - // pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; + pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; pNew->pReprs = Gia_AigerReadEquivClasses( &pCur, Gia_ManObjNum(pNew) ); pNew->pNexts = Gia_ManDeriveNexts( pNew ); - // assert( pCur == pCurTemp ); + assert( pCur == pCurTemp ); } // read flop classes else if ( *pCur == 'f' ) @@ -1049,7 +1049,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int extern Vec_Str_t * Gia_WriteEquivClasses( Gia_Man_t * p ); fprintf( pFile, "e" ); vStrExt = Gia_WriteEquivClasses( p ); -// Gia_FileWriteBufferSize( pFile, Vec_StrSize(vStrExt) ); + Gia_FileWriteBufferSize( pFile, Vec_StrSize(vStrExt) ); fwrite( Vec_StrArray(vStrExt), 1, Vec_StrSize(vStrExt), pFile ); Vec_StrFree( vStrExt ); } |