mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

java build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-05-08 09:58:43 -07:00
parent e2625cb760
commit 1ab7be67d0
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scripts/update_api.py
View file

@ -209,13 +209,13 @@ def param_array_size_pos(p):
def param2str(p): def param2str(p):
if param_kind(p) == IN_ARRAY: if param_kind(p) == IN_ARRAY:
return f"{type2str(param_type(p))} const *" return "%s const *" % (type2str(param_type(p)))
elif param_kind(p) == OUT_ARRAY or param_kind(p) == IN_ARRAY or param_kind(p) == INOUT_ARRAY: elif param_kind(p) == OUT_ARRAY or param_kind(p) == IN_ARRAY or param_kind(p) == INOUT_ARRAY:
return f"{type2str(param_type(p))}*" return "%s*" % (type2str(param_type(p)))
elif param_kind(p) == OUT: elif param_kind(p) == OUT:
return f"{type2str(param_type(p))}*" return "%s*" % (type2str(param_type(p)))
elif param_kind(p) == FN_PTR: elif param_kind(p) == FN_PTR:
return f"{type2str(param_type(p))}*" return "%s*" % (type2str(param_type(p)))
else: else:
return type2str(param_type(p)) return type2str(param_type(p))