mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-12-05 03:26:45 +00:00
Code Activity

fix second byref to bool

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-11-26 14:40:11 -08:00
parent ed8b92411e
commit 28dc71c75e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/python/z3/z3printer.py
View file

@ -831,7 +831,7 @@ class Formatter:
else:
_z3_assert(z3.is_fp_value(a), "expecting FP num ast")
r = []
sgn = c_bool(0)
sgn = ctypes.c_bool()
sgnb = Z3_fpa_get_numeral_sign(a.ctx_ref(), a.ast, byref(sgn))
exp = Z3_fpa_get_numeral_exponent_string(a.ctx_ref(), a.ast, False)
sig = Z3_fpa_get_numeral_significand_string(a.ctx_ref(), a.ast)
@ -861,7 +861,7 @@ class Formatter:
else:
_z3_assert(z3.is_fp_value(a), "expecting FP num ast")
r = []
sgn = (ctypes.c_int)(0)
sgn = ctypes.c_bool()
sgnb = Z3_fpa_get_numeral_sign(a.ctx_ref(), a.ast, byref(sgn))
exp = Z3_fpa_get_numeral_exponent_string(a.ctx_ref(), a.ast, False)
sig = Z3_fpa_get_numeral_significand_string(a.ctx_ref(), a.ast)