diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-19 22:26:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-19 22:26:52 -0700 |
commit | c1e54b8b761b38f0c0fc715bce44dbd0b97fe55a (patch) | |
tree | 8d413e56fc134fe922438603a0c9f60e63c217cb /src/sat/bmc/bmcTulip.c | |
parent | 86d3c72bebdb4b575cc5b799a4a2119df64ccb6d (diff) | |
download | abc-c1e54b8b761b38f0c0fc715bce44dbd0b97fe55a.tar.gz abc-c1e54b8b761b38f0c0fc715bce44dbd0b97fe55a.tar.bz2 abc-c1e54b8b761b38f0c0fc715bce44dbd0b97fe55a.zip |
Experiments with recent ideas.
Diffstat (limited to 'src/sat/bmc/bmcTulip.c')
-rw-r--r-- | src/sat/bmc/bmcTulip.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcTulip.c b/src/sat/bmc/bmcTulip.c index 8c32d699..cce3becd 100644 --- a/src/sat/bmc/bmcTulip.c +++ b/src/sat/bmc/bmcTulip.c @@ -239,7 +239,7 @@ Vec_Int_t * Gia_ManTulipPerform( Gia_Man_t * p, Vec_Int_t * vInit, int nFrames, Gia_ManForEachPi( pM, pObj, i ) if ( i == Gia_ManRegNum(p) ) break; - else if ( (Vec_IntEntry(vLits, i) & 2) && !Vec_IntEntry( vMap, pCnf->pVarNums[Gia_ObjId(pM, pObj)] ) ) + else if ( (Vec_IntEntry(vLits, i) & 2) && Vec_IntEntry( vMap, pCnf->pVarNums[Gia_ObjId(pM, pObj)] ) ) Vec_IntWriteEntry( vLits, i, (Vec_IntEntry(vLits, i) & 1) ); Vec_IntFree( vMap ); |