diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-17 22:48:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-17 22:48:51 -0700 |
commit | 5767830b45bf963de12ecd2e19dfadb4af19a72d (patch) | |
tree | 389cf94422dda1db74ce75c3deac4e09230141f6 /src | |
parent | 7bcd5ac979fc14101a6eb9ee34940f272009c67f (diff) | |
download | abc-5767830b45bf963de12ecd2e19dfadb4af19a72d.tar.gz abc-5767830b45bf963de12ecd2e19dfadb4af19a72d.tar.bz2 abc-5767830b45bf963de12ecd2e19dfadb4af19a72d.zip |
Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers (bug fix).
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/gia/giaAiger.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 5674ff8c..7d6f7ad9 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -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 |