summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-04-02 15:31:48 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-04-02 15:31:48 +0700
commit03cd22af6e492290e76c3745cd38a849869a1a73 (patch)
tree5a90954f62efffb5bf0cf7c12c5285d6a9d9563c /src
parent57a6f016d2af40b43b430737eefae4efc35ee8e6 (diff)
downloadabc-03cd22af6e492290e76c3745cd38a849869a1a73.tar.gz
abc-03cd22af6e492290e76c3745cd38a849869a1a73.tar.bz2
abc-03cd22af6e492290e76c3745cd38a849869a1a73.zip
Typo in hash function.
Diffstat (limited to 'src')
-rw-r--r--src/sat/bmc/bmcFx.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcFx.c b/src/sat/bmc/bmcFx.c
index 5482dcd3..09517c26 100644
--- a/src/sat/bmc/bmcFx.c
+++ b/src/sat/bmc/bmcFx.c
@@ -106,7 +106,7 @@ static inline Vec_Int_t * Tab_TabFindBest( Tab_Tab_t * p, int nDivs )
}
static inline int Tab_Hash( int LitA, int LitB, int LitC, int Func, int Mask )
{
- return (LitA * 50331653 + LitB * 100663319 + LitC + 201326611 + Func * 402653189) & Mask;
+ return (LitA * 50331653 + LitB * 100663319 + LitC * 201326611 + Func * 402653189) & Mask;
}
static inline void Tab_TabRehash( Tab_Tab_t * p )
{