Bug fix in &dch -x.

alanminko · alanminko · commit 70cb339f869e · 2022-10-19T05:05:56.000-07:00
diff --git 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) )
         {

Original file line number	Diff line number	Diff line change
`@@ -1869,7 +1869,7 @@ void Gia_ManEquivToChoices_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pOb`
`1869`	`1869`	`Gia_Obj_t * pRepr, * pReprNew, * pObjNew;`
`1870`	`1870`	`if ( ~pObj->Value )`
`1871`	`1871`	`return;`
`1872`		`- if ( (pRepr = Gia_ObjReprObj(p, Gia_ObjId(p, pObj))) )`
	`1872`	`+ if ( (pRepr = Gia_ObjReprObj(p, Gia_ObjId(p, pObj))) && !Gia_ObjFailed(p,Gia_ObjId(p,pObj)) )`
`1873`	`1873`	`{`
`1874`	`1874`	`if ( Gia_ObjIsConst0(pRepr) )`
`1875`	`1875`	`{`