diff options
-rw-r--r-- | src/base/abc/abc.h | 1 | ||||
-rw-r--r-- | src/base/abc/abcLib.c | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index de789fc6..8df9ea70 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -193,6 +193,7 @@ struct Abc_Ntk_t_ Abc_Lib_t * pDesign; short fHieVisited; // flag to mark the visited network short fHiePath; // flag to mark the network on the path + int Id; // model ID // miscellaneous data members int nTravIds; // the unique traversal IDs of nodes Mem_Fixed_t * pMmObj; // memory manager for objects diff --git a/src/base/abc/abcLib.c b/src/base/abc/abcLib.c index f376f039..a9bb5691 100644 --- a/src/base/abc/abcLib.c +++ b/src/base/abc/abcLib.c @@ -174,6 +174,8 @@ int Abc_LibAddModel( Abc_Lib_t * pLib, Abc_Ntk_t * pNtk ) if ( st_is_member( pLib->tModules, (char *)pNtk->pName ) ) return 0; st_insert( pLib->tModules, (char *)pNtk->pName, (char *)pNtk ); + assert( pNtk->Id == 0 ); + pNtk->Id = Vec_PtrSize(pLib->vModules); Vec_PtrPush( pLib->vModules, pNtk ); pNtk->pDesign = pLib; return 1; |