summaryrefslogtreecommitdiffstats
path: root/src/proof
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-06-16 16:46:39 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-06-16 16:46:39 -0700
commite20364896eeb0fba7d23fe6047fe8cd05c6ad648 (patch)
tree0d3859e8a494719584390d1943f9d97d0c488d26 /src/proof
parent2340d279bd7f1d53f12a2e5b0913d30d9aa98220 (diff)
downloadabc-e20364896eeb0fba7d23fe6047fe8cd05c6ad648.tar.gz
abc-e20364896eeb0fba7d23fe6047fe8cd05c6ad648.tar.bz2
abc-e20364896eeb0fba7d23fe6047fe8cd05c6ad648.zip
Bug fix in CEC generation after rarity simulation and few small changes.
Diffstat (limited to 'src/proof')
-rw-r--r--src/proof/ssw/sswRarity.c2
1 files changed, 1 insertions, 1 deletions
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 )