diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-11 16:52:46 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-11 16:52:46 -0800 |
| commit | d071e0261630142b97c50ffc7740375c6b671da7 (patch) | |
| tree | 967f6ef86f28bac9d425fb04d989c2bf55e43bae /src/base/wlc/wlcNtk.c | |
| parent | 36585eff57d16171bb4a53fdc6348613d44eabe6 (diff) | |
| download | abc-d071e0261630142b97c50ffc7740375c6b671da7.tar.gz abc-d071e0261630142b97c50ffc7740375c6b671da7.tar.bz2 abc-d071e0261630142b97c50ffc7740375c6b671da7.zip | |
Updated for memory abstraction.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 8038d9e6..b7743ba5 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -521,7 +521,7 @@ void Wlc_NtkPrintDistrib( Wlc_Ntk_t * p, int fTwoSides, int fVerbose ) else { assert( Wlc_ObjFaninNum(pObj) >= 2 ); - Sign = Wlc_NtkPrintDistribMakeSign( Wlc_ObjSign(pObj), Wlc_ObjSign(Wlc_ObjFanin0(p, pObj)), Wlc_ObjSign(Wlc_ObjFanin1(p, pObj)) ); + Sign = Wlc_NtkPrintDistribMakeSign( Wlc_ObjSign(pObj), Wlc_ObjFaninId(pObj, 0) ? Wlc_ObjSign(Wlc_ObjFanin0(p, pObj)) : 0, Wlc_ObjFaninId(pObj, 1) ? Wlc_ObjSign(Wlc_ObjFanin1(p, pObj)) : 0 ); } // add to storage Wlc_NtkPrintDistribAddOne( vTypes, vOccurs, pObj->Type, Sign ); @@ -991,7 +991,7 @@ Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p, int fMarked, int fSeq ) pObjNew->fXConst = pObj->fXConst; } Vec_IntFree( vFanins ); - if ( fSeq ) + if ( fSeq && p->vInits ) { if ( fMarked ) { |