From 2f46b56ae60bc74175f1df525c1be46a12072357 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 10 May 2014 02:41:54 +0700
Subject: Bug fix in the sweeper.

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

(limited to 'src')

diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c
index 735abf30..b4a53f44 100644
--- a/src/aig/gia/giaSweeper.c
+++ b/src/aig/gia/giaSweeper.c
@@ -758,7 +758,10 @@ static Vec_Int_t * Gia_ManGetCex( Gia_Man_t * pGia, Vec_Int_t * vId2Lit, sat_sol
     Gia_ManForEachPi( pGia, pObj, i )
     {
         if ( Gia_ObjId(pGia, pObj) >= Vec_IntSize(vId2Lit) )
+        {
+            Vec_IntPush( vCex, 2 );
             continue;
+        }
         LitSat = Vec_IntEntry( vId2Lit, Gia_ObjId(pGia, pObj) );
         if ( LitSat == 0 )
         {
-- 
cgit v1.2.3