diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 12:19:56 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 12:19:56 -0400 |
| commit | c8bfb82688dfd97d09a6e6a1184b94db27cb398e (patch) | |
| tree | 0ad87bf8041e8c11844d395307930111b5c432c6 | |
| parent | 3b8095a6715f8d9befa450d61af5e8567c1f19ac (diff) | |
| download | abc-c8bfb82688dfd97d09a6e6a1184b94db27cb398e.tar.gz abc-c8bfb82688dfd97d09a6e6a1184b94db27cb398e.tar.bz2 abc-c8bfb82688dfd97d09a6e6a1184b94db27cb398e.zip | |
Sweeper condition complement bug-fix.
| -rw-r--r-- | src/aig/gia/giaSweeper.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |