diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-08 01:07:03 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-08 01:07:03 +0200 |
| commit | 144c5be8246800d5bd36dc3e177364063e8d2e40 (patch) | |
| tree | 2e43f2d7b1040cae9828315aeac0c82caa3df2fb /src/aig | |
| parent | 1485e63ae3cc36d2840b5c2d1d7da38a88ee8928 (diff) | |
| download | abc-144c5be8246800d5bd36dc3e177364063e8d2e40.tar.gz abc-144c5be8246800d5bd36dc3e177364063e8d2e40.tar.bz2 abc-144c5be8246800d5bd36dc3e177364063e8d2e40.zip | |
Preserving additional AIG manager when dandling nodes are present.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 3 |
1 files changed, 3 insertions, 0 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 ) |