diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-21 11:33:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-21 11:33:53 -0800 |
| commit | 5b8fa41ba966271f97f99860b21eee83bf51e61a (patch) | |
| tree | a1cdff81fb35c7fb36fd856b42d4cdb47c4adcad /src/base/wlc | |
| parent | d892e63256063ba04f20ca347121116bc67a30e2 (diff) | |
| download | abc-5b8fa41ba966271f97f99860b21eee83bf51e61a.tar.gz abc-5b8fa41ba966271f97f99860b21eee83bf51e61a.tar.bz2 abc-5b8fa41ba966271f97f99860b21eee83bf51e61a.zip | |
Suggested bug fixes in the old code.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcMem.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcMem.c b/src/base/wlc/wlcMem.c index da0fc846..b2d5c5ee 100644 --- a/src/base/wlc/wlcMem.c +++ b/src/base/wlc/wlcMem.c @@ -800,7 +800,7 @@ void Wlc_NtkTrace_rec( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, int iFrame, Vec_Int_t * { int Index = 3*(iFrame*Vec_IntSize(vMemObjs) + iNum); int Value = (int)Vec_WrdEntry( vValues, Index ); - assert( Value == 0 && Value == 1 ); + assert( Value == 0 || Value == 1 ); Wlc_NtkTrace_rec( p, Value ? Wlc_ObjFanin2(p, pObj) : Wlc_ObjFanin1(p, pObj), iFrame, vMemObjs, vValues, ValueA, vRes ); Vec_IntPush( vRes, (iObj << 11) | (iFrame << 1) | Value ); } |