diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-25 19:29:57 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-25 19:29:57 +0700 |
| commit | c4dd8067fd49b8e4aea245f6b5587c959dfe1a2a (patch) | |
| tree | bdae717595b0b1963dac8d3801903b362242e2fb | |
| parent | 9e307901c7fd910de11bf9e124dbf98dee5d8b45 (diff) | |
| download | abc-c4dd8067fd49b8e4aea245f6b5587c959dfe1a2a.tar.gz abc-c4dd8067fd49b8e4aea245f6b5587c959dfe1a2a.tar.bz2 abc-c4dd8067fd49b8e4aea245f6b5587c959dfe1a2a.zip | |
Bug fix in how seq cleanup handles cand equiv classes.
| -rw-r--r-- | src/aig/gia/giaDup.c | 4 |
1 files changed, 3 insertions, 1 deletions
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) ); } |