diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-13 00:01:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-13 00:01:16 -0800 |
| commit | 21de66600594c8779d3b5eedbb75b0c2466fca1d (patch) | |
| tree | 07d162036395b0b13669b2455c7eca8f1a9dba7f /src/aig/gia/giaDup.c | |
| parent | e43c0d87088c237dc89f0ac6b038ca24334e4f33 (diff) | |
| download | abc-21de66600594c8779d3b5eedbb75b0c2466fca1d.tar.gz abc-21de66600594c8779d3b5eedbb75b0c2466fca1d.tar.bz2 abc-21de66600594c8779d3b5eedbb75b0c2466fca1d.zip | |
Bug fix in GLA PBA.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index f1508375..e64ba002 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -1684,7 +1684,10 @@ Gia_Man_t * Gia_ManDupAbsGates( Gia_Man_t * p, Vec_Int_t * vGateClasses ) assert( !Gia_LitIsCompl(pObj->Value) ); pCopy = Gia_ObjCopy( pTemp, pObj ); if ( !~pCopy->Value ) + { + pObj->Value = ~0; continue; + } assert( !Gia_LitIsCompl(pCopy->Value) ); pObj->Value = pCopy->Value; } |