diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-10-19 05:05:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-10-19 05:05:56 -0700 |
| commit | 70cb339f869e485802159d7f2b886130793556c4 (patch) | |
| tree | 6d5bd394520f8fc53f5e62a09f59d06e71827b4d | |
| parent | 336b41a0636a78bedf80f9d3b2db30d53ad648fc (diff) | |
| download | abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz abc-70cb339f869e485802159d7f2b886130793556c4.tar.bz2 abc-70cb339f869e485802159d7f2b886130793556c4.zip | |
Bug fix in &dch -x.
| -rw-r--r-- | src/aig/gia/giaEquiv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index 5c82b260..030eaa60 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -1869,7 +1869,7 @@ void Gia_ManEquivToChoices_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pOb Gia_Obj_t * pRepr, * pReprNew, * pObjNew; if ( ~pObj->Value ) return; - if ( (pRepr = Gia_ObjReprObj(p, Gia_ObjId(p, pObj))) ) + if ( (pRepr = Gia_ObjReprObj(p, Gia_ObjId(p, pObj))) && !Gia_ObjFailed(p,Gia_ObjId(p,pObj)) ) { if ( Gia_ObjIsConst0(pRepr) ) { |