From 190dc376006d02fe84de6ad538e5153931989fd4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 19 Jul 2016 13:26:24 -0700
Subject: Fix in reading initial state for edge-detection.

---
 src/aig/gia/giaSatLE.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia')

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
     }
-- 
cgit v1.2.3