Added support for constraints in AIGER (bug fix).

9e307901 · Alan Mishchenko · 76447062 · 9e307901
Commit 9e307901 authored Jul 22, 2011 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 7 additions and 2 deletions

src/aig/gia/giaAiger.c
+7 -2

No files found.
--- 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;
 }