Unifification of custom extensions.

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 );
     }