diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-04-26 18:52:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-04-26 18:52:44 -0700 |
| commit | de71e5f61038748b59bcbb2bf6f0c8666b45190a (patch) | |
| tree | 40d41d6d824d1f1dd22da69ea14b5c05bb5ace84 /src/base/abci/abcDar.c | |
| parent | 75981f7feebc4065980f99551654ac101edb4afa (diff) | |
| download | abc-de71e5f61038748b59bcbb2bf6f0c8666b45190a.tar.gz abc-de71e5f61038748b59bcbb2bf6f0c8666b45190a.tar.bz2 abc-de71e5f61038748b59bcbb2bf6f0c8666b45190a.zip | |
Passing node labels.
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 56eb139a..8911780d 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -858,6 +858,7 @@ Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p, int fFindEnables, int fUseBuffs Gia_LutForEachFanin( p, i, iFan, k ) Abc_ObjAddFanin( pObjNew, Abc_NtkObj(pNtkNew, Gia_ObjValue(Gia_ManObj(p, iFan))) ); pObjNew->pData = Abc_ObjHopFromGia( (Hop_Man_t *)pNtkNew->pManFunc, p, i, vReflect ); + pObjNew->fPersist = Gia_ObjLutIsMux(p, i); pObj->Value = Abc_ObjId( pObjNew ); } Vec_PtrFree( vReflect ); |