diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-02 15:31:48 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-02 15:31:48 +0700 |
| commit | 03cd22af6e492290e76c3745cd38a849869a1a73 (patch) | |
| tree | 5a90954f62efffb5bf0cf7c12c5285d6a9d9563c /src/sat/bmc/bmcFx.c | |
| parent | 57a6f016d2af40b43b430737eefae4efc35ee8e6 (diff) | |
| download | abc-03cd22af6e492290e76c3745cd38a849869a1a73.tar.gz abc-03cd22af6e492290e76c3745cd38a849869a1a73.tar.bz2 abc-03cd22af6e492290e76c3745cd38a849869a1a73.zip | |
Typo in hash function.
Diffstat (limited to 'src/sat/bmc/bmcFx.c')
| -rw-r--r-- | src/sat/bmc/bmcFx.c | 2 |
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 ) { |