diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-19 13:26:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-19 13:26:24 -0700 |
| commit | 190dc376006d02fe84de6ad538e5153931989fd4 (patch) | |
| tree | 507c0f6638cb585a38cc77eed4d261f82adccec5 /src/aig/gia/giaSatLE.c | |
| parent | 0f59f00c74d6660581464a9299277cfb97509a2d (diff) | |
| download | abc-190dc376006d02fe84de6ad538e5153931989fd4.tar.gz abc-190dc376006d02fe84de6ad538e5153931989fd4.tar.bz2 abc-190dc376006d02fe84de6ad538e5153931989fd4.zip | |
Fix in reading initial state for edge-detection.
Diffstat (limited to 'src/aig/gia/giaSatLE.c')
| -rw-r--r-- | src/aig/gia/giaSatLE.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaSatLE.c b/src/aig/gia/giaSatLE.c index ec243423..63a45179 100644 --- a/src/aig/gia/giaSatLE.c +++ b/src/aig/gia/giaSatLE.c @@ -605,6 +605,8 @@ void Sle_ManDeriveInit( Sle_Man_t * p ) assert( Gia_ObjIsAnd(Gia_ManObj(p->pGia, iObj)) ); // find edge iEdge = Vec_IntFind( Vec_WecEntry(p->vCutFanins, iObj), iFanin ); + if ( iEdge < 0 ) + continue; assert( iEdge >= 0 ); Vec_IntPush( p->vPolars, Vec_IntEntry(p->vEdgeFirst, iObj) + iEdge ); // edge } |