diff options
| -rw-r--r-- | src/aig/gia/giaAiger.c | 3 | ||||
| -rw-r--r-- | src/opt/lpk/lpkMux.c | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 3abfb563..c9ad28db 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -794,6 +794,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi if ( !fGiaSimple && !fSkipStrash && Gia_ManHasDangling(pNew) ) { Tim_Man_t * pManTime; + Gia_Man_t * pAigExtra; Vec_Int_t * vFlopMap, * vGateMap, * vObjMap, * vRegClasses, * vRegInits; vRegClasses = pNew->vRegClasses; pNew->vRegClasses = NULL; vRegInits = pNew->vRegInits; pNew->vRegInits = NULL; @@ -801,6 +802,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi vGateMap = pNew->vGateClasses; pNew->vGateClasses = NULL; vObjMap = pNew->vObjClasses; pNew->vObjClasses = NULL; pManTime = (Tim_Man_t *)pNew->pManTime; pNew->pManTime = NULL; + pAigExtra = pNew->pAigExtra; pNew->pAigExtra = NULL; pNew = Gia_ManCleanup( pTemp = pNew ); if ( (vGateMap || vObjMap) && (Gia_ManObjNum(pNew) < Gia_ManObjNum(pTemp)) ) printf( "Cleanup removed objects after reading. Old gate/object abstraction maps are invalid!\n" ); @@ -811,6 +813,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi pNew->vGateClasses = vGateMap; pNew->vObjClasses = vObjMap; pNew->pManTime = pManTime; + pNew->pAigExtra = pAigExtra; } if ( fHieOnly ) diff --git a/src/opt/lpk/lpkMux.c b/src/opt/lpk/lpkMux.c index 60184f61..dfc1d65d 100644 --- a/src/opt/lpk/lpkMux.c +++ b/src/opt/lpk/lpkMux.c @@ -258,7 +258,7 @@ void Lpk_TryDec( word * pTruth, int nVars ) { extern word If_Dec6Perform( word t, int fDerive ); extern void If_Dec6Verify( word t, word z ); - int nWords = Abc_Truth6WordNum( nVars ); + //int nWords = Abc_Truth6WordNum( nVars ); assert( nVars == 8 ); printf( "%d", If_Dec6Perform(pTruth[0], 1) > 0 ); printf( "%d", If_Dec6Perform(pTruth[1], 1) > 0 ); |