Bug fix in the sweeper.

2f46b56a · Alan Mishchenko · f39369a4 · 2f46b56a
Commit 2f46b56a authored May 10, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/aig/gia/giaSweeper.c
+3 -0

No files found.
--- 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 )
        {