mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

include global parameters and fixup for HTML meta-characters

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-08-22 14:25:08 -07:00
parent f6e4a45f4b
commit 0eea021dc3
3 changed files with 21 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/mk_params_doc.py
View file

@ -35,7 +35,7 @@ def help(ous):
ous.write("Z3 Options\n")
z3_exe = BUILD_DIR + "/z3"
out = subprocess.Popen([z3_exe, "-pm"],stdout=subprocess.PIPE).communicate()[0]
modules = []
modules = ["global"]
if out != None:
out = out.decode(sys.stdout.encoding)
module_re = re.compile(r"\[module\] (.*)\,")