diff options
| -rw-r--r-- | abclib.dsp | 4 | ||||
| -rw-r--r-- | src/aig/gia/giaSatLE.c | 2 |
2 files changed, 6 insertions, 0 deletions
@@ -267,6 +267,10 @@ SOURCE=.\src\base\abci\abcDsd.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcExact.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcExtract.c # End Source File # Begin Source File 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 } |