From e20364896eeb0fba7d23fe6047fe8cd05c6ad648 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 16 Jun 2014 16:46:39 -0700
Subject: Bug fix in CEC generation after rarity simulation and few small
 changes.

---
 src/proof/ssw/sswRarity.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/ssw')

diff --git a/src/proof/ssw/sswRarity.c b/src/proof/ssw/sswRarity.c
index 2dd51f38..a02ea01b 100644
--- a/src/proof/ssw/sswRarity.c
+++ b/src/proof/ssw/sswRarity.c
@@ -569,7 +569,7 @@ unsigned Ssw_RarManObjHashWord( void * pMan, Aig_Obj_t * pObj )
 int Ssw_RarManObjWhichOne( Ssw_RarMan_t * p, Aig_Obj_t * pObj )
 {
     word * pSim = Ssw_RarObjSim( p, Aig_ObjId(pObj) );
-    word Flip = pObj->fPhase ? ~(word)0 : 0;
+    word Flip = 0;//pObj->fPhase ? ~(word)0 : 0; // bug fix!
     int w, i;
     for ( w = 0; w < p->pPars->nWords; w++ )
         if ( pSim[w] ^ Flip )
-- 
cgit v1.2.3