mirror of
https://github.com/Z3Prover/z3
synced 2025-04-12 04:03:39 +00:00
28 lines
751 B
Python
28 lines
751 B
Python
|
|
import subprocess
|
|
import sys
|
|
import re
|
|
|
|
Z3_EXE = "z3.exe"
|
|
|
|
def help():
|
|
print("Z3 Options Enabled")
|
|
out = subprocess.Popen([Z3_EXE, "-pm"],stdout=subprocess.PIPE).communicate()[0]
|
|
modules = []
|
|
if out != None:
|
|
out = out.decode(sys.stdout.encoding)
|
|
module_re = re.compile(r"\[module\] (.*)\,")
|
|
lines = out.split("\n")
|
|
for line in lines:
|
|
m = module_re.search(line)
|
|
if m:
|
|
modules += [m.group(1)]
|
|
for module in modules:
|
|
out = subprocess.Popen([Z3_EXE, "-pmmd:%s" % module],stdout=subprocess.PIPE).communicate()[0]
|
|
if out == None:
|
|
continue
|
|
out = out.decode(sys.stdout.encoding)
|
|
print(out)
|
|
|
|
help()
|