mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 05:11:21 +00:00
Code Activity

fix #6682

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-04-11 05:10:03 -07:00
parent 368d60f553
commit ccc4f2d382
1 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/api/python/z3/z3.py
View file

@ -3173,12 +3173,8 @@ def _to_int_str(val):
return "1" return "1"
else: else:
return "0" return "0"
elif _is_int(val): else:
return str(val) return str(val)
elif isinstance(val, str):
return val
if z3_debug():
_z3_assert(False, "Python value cannot be used as a Z3 integer")
def IntVal(val, ctx=None): def IntVal(val, ctx=None):