diff options
Diffstat (limited to 'src/base/abci/abcMfs.c')
-rw-r--r-- | src/base/abci/abcMfs.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abcMfs.c b/src/base/abci/abcMfs.c index 76dfb162..dfd950dc 100644 --- a/src/base/abci/abcMfs.c +++ b/src/base/abci/abcMfs.c @@ -74,9 +74,10 @@ Vec_Ptr_t * Abc_NtkAssignIDs2( Abc_Ntk_t * pNtk ) vNodes = Vec_PtrAlloc( Abc_NtkNodeNum(pNtk) ); Abc_NtkForEachNode( pNtk, pObj, i ) { + pObj->iTemp = Abc_NtkCiNum(pNtk) + Vec_PtrSize(vNodes); Vec_PtrPush( vNodes, pObj ); - pObj->iTemp = Abc_NtkCiNum(pNtk) + i; } + assert( Vec_PtrSize(vNodes) == Abc_NtkNodeNum(pNtk) ); Abc_NtkForEachCo( pNtk, pObj, i ) pObj->iTemp = Abc_NtkCiNum(pNtk) + Vec_PtrSize(vNodes) + i; return vNodes; |