From 140fd9ad9fe78a7fde8168ddcc7750a8bbc03bfe Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 6 May 2014 14:38:27 +0800
Subject: Bug fix in the sweeper.

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

(limited to 'src/aig/gia/giaSweeper.c')

diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c
index 7059ba89..735abf30 100644
--- a/src/aig/gia/giaSweeper.c
+++ b/src/aig/gia/giaSweeper.c
@@ -757,6 +757,8 @@ static Vec_Int_t * Gia_ManGetCex( Gia_Man_t * pGia, Vec_Int_t * vId2Lit, sat_sol
     Vec_IntClear( vCex );
     Gia_ManForEachPi( pGia, pObj, i )
     {
+        if ( Gia_ObjId(pGia, pObj) >= Vec_IntSize(vId2Lit) )
+            continue;
         LitSat = Vec_IntEntry( vId2Lit, Gia_ObjId(pGia, pObj) );
         if ( LitSat == 0 )
         {
-- 
cgit v1.2.3