From c8bfb82688dfd97d09a6e6a1184b94db27cb398e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 1 Nov 2013 12:19:56 -0400
Subject: Sweeper condition complement bug-fix.

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

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

diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c
index 838b9978..2da162d1 100644
--- a/src/aig/gia/giaSweeper.c
+++ b/src/aig/gia/giaSweeper.c
@@ -901,7 +901,7 @@ int Gia_SweeperCondCheckUnsat( Gia_Man_t * pGia )
     {
         iLitAig = Gia_SweeperProbeLit( pGia, ProbeId );
         Gia_ManCnfNodeAddToSolver( p, Abc_Lit2Var(iLitAig) );
-        Vec_IntPush( p->vCondAssump, Swp_ManLit2Lit(p, iLitAig) );
+        Vec_IntPush( p->vCondAssump, Abc_LitNot(Swp_ManLit2Lit(p, iLitAig)) );
     }
     sat_solver_compress( p->pSat );
 
-- 
cgit v1.2.3