diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-22 20:29:26 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-22 20:29:26 +0700 |
commit | 9e307901c7fd910de11bf9e124dbf98dee5d8b45 (patch) | |
tree | d31f441801a8934132ee9f8154daa0fd07281ed5 | |
parent | 76447062ccb56fc8c221942bcd11645ff88d4821 (diff) | |
download | abc-9e307901c7fd910de11bf9e124dbf98dee5d8b45.tar.gz abc-9e307901c7fd910de11bf9e124dbf98dee5d8b45.tar.bz2 abc-9e307901c7fd910de11bf9e124dbf98dee5d8b45.zip |
Added support for constraints in AIGER (bug fix).
-rw-r--r-- | src/aig/gia/giaAiger.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 398ae95b..5b78dbfb 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -897,8 +897,13 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck Vec_IntFreeP( &vPoTypes ); } -// pNew = Gia_ManCleanup( pTemp = pNew ); -// Gia_ManStop( pTemp ); + { + Vec_Int_t * vFlopMap; + vFlopMap = pNew->vFlopClasses; pNew->vFlopClasses = NULL; + pNew = Gia_ManCleanup( pTemp = pNew ); + Gia_ManStop( pTemp ); + pNew->vFlopClasses = vFlopMap; + } return pNew; } |