mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

ull

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-02-18 18:08:11 -08:00
parent e016979ff6
commit 8860de39bb
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/sat/sat_cutset_compute_shift.h
View file

@ -856,8 +856,8 @@ def shift(x, k):
if k == 0: if k == 0:
return x return x
if k < 0: if k < 0:
return "(%s >> %d)" % (x,-k) return "(%s >> %dull)" % (x,-k)
return "(%s << %d)" % (x, k) return "(%s << %dull)" % (x, k)
def hash(r, hashcons): def hash(r, hashcons):
if r in hashcons: if r in hashcons: