diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-19 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-19 08:01:00 -0700 |
| commit | 73b8d1dd79f4cca7821b78df0da999d6ea6872e6 (patch) | |
| tree | a1af4122d60ad491acb3e9d3d183db1ca95eb64d /src/base/abc | |
| parent | c1710767b298a8acae16421a660a0874255636a5 (diff) | |
| download | abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.tar.gz abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.tar.bz2 abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.zip | |
Version abc60419
Diffstat (limited to 'src/base/abc')
| -rw-r--r-- | src/base/abc/abcAig.c | 12 | ||||
| -rw-r--r-- | src/base/abc/abcObj.c | 2 |
2 files changed, 9 insertions, 5 deletions
diff --git a/src/base/abc/abcAig.c b/src/base/abc/abcAig.c index 7eb62416..0d75eb76 100644 --- a/src/base/abc/abcAig.c +++ b/src/base/abc/abcAig.c @@ -743,7 +743,8 @@ void Abc_AigReplace( Abc_Aig_t * pMan, Abc_Obj_t * pOld, Abc_Obj_t * pNew, bool if ( fUpdateLevel ) { Abc_AigUpdateLevel_int( pMan ); - Abc_AigUpdateLevelR_int( pMan ); + if ( pMan->pNtkAig->vLevelsR ) + Abc_AigUpdateLevelR_int( pMan ); } } @@ -819,9 +820,12 @@ void Abc_AigReplace_int( Abc_Aig_t * pMan, Abc_Obj_t * pOld, Abc_Obj_t * pNew, i pFanout->fMarkA = 1; Vec_VecPush( pMan->vLevels, pFanout->Level, pFanout ); // schedule the updated fanout for updating reverse level - assert( pFanout->fMarkB == 0 ); - pFanout->fMarkB = 1; - Vec_VecPush( pMan->vLevelsR, Abc_NodeReadReverseLevel(pFanout), pFanout ); + if ( pMan->pNtkAig->vLevelsR ) + { + assert( pFanout->fMarkB == 0 ); + pFanout->fMarkB = 1; + Vec_VecPush( pMan->vLevelsR, Abc_NodeReadReverseLevel(pFanout), pFanout ); + } } // the fanout has changed, update EXOR status of its fanouts diff --git a/src/base/abc/abcObj.c b/src/base/abc/abcObj.c index 68518ef0..4be253d1 100644 --- a/src/base/abc/abcObj.c +++ b/src/base/abc/abcObj.c @@ -235,7 +235,7 @@ void Abc_NtkDeleteObj( Abc_Obj_t * pObj ) } else if ( Abc_ObjIsPo(pObj) ) { - assert( Abc_NtkPoNum(pObj->pNtk) == 1 ); + assert( Abc_NtkPoNum(pObj->pNtk) > 0 ); Vec_PtrRemove( pObj->pNtk->vCos, pObj ); pObj->pNtk->nPos--; // add the name to the table |