From c4dd8067fd49b8e4aea245f6b5587c959dfe1a2a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 25 Jul 2011 19:29:57 +0700 Subject: Bug fix in how seq cleanup handles cand equiv classes. --- src/aig/gia/giaDup.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index d3a4ccc8..0c9e2fb7 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -558,7 +558,9 @@ Gia_Man_t * Gia_ManDupMarked( Gia_Man_t * p ) pRepr = Gia_ObjReprObj( p, i ); if ( pRepr == NULL ) continue; - assert( ~pRepr->Value ); +// assert( ~pRepr->Value ); + if ( !~pRepr->Value ) + continue; if ( Gia_Lit2Var(pObj->Value) != Gia_Lit2Var(pRepr->Value) ) Gia_ObjSetRepr( pNew, Gia_Lit2Var(pObj->Value), Gia_Lit2Var(pRepr->Value) ); } -- cgit v1.2.3