Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers (bug fix).

This commit is contained in:
Alan Mishchenko 2011-04-17 22:48:51 -07:00
parent 7bcd5ac979
commit 5767830b45
1 changed files with 1 additions and 3 deletions

View File

@ -539,10 +539,9 @@ Gia_Man_t * Gia_ReadAiger2( char * pFileName, int fCheck )
pNew->pName = Gia_UtilStrsav( (char *)pCur );
}
}
Vec_IntFree( vNodes );
// skipping the comments
ABC_FREE( pContents );
Vec_IntFree( vNodes );
/*
// check the result
if ( fCheck && !Gia_ManCheck( pNew ) )
@ -800,7 +799,6 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
// skipping the comments
ABC_FREE( pContents );
Vec_IntFree( vNodes );
/*
// check the result