From 03cd22af6e492290e76c3745cd38a849869a1a73 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 2 Apr 2015 15:31:48 +0700 Subject: Typo in hash function. --- src/sat/bmc/bmcFx.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sat/bmc/bmcFx.c') 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 ) { -- cgit v1.2.3