diff options
Diffstat (limited to 'src')
| -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 } |