riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #3690 from whitequark/smtbmc-help-opt

This commit is contained in:
N. Engelhardt 2023-03-01 09:59:01 +01:00 committed by GitHub
parent 25ebefc2a6 4bb173e256
commit 981c934b5b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
backends/smt2/smtbmc.py
View File

@ -59,9 +59,12 @@ detect_loops = False
so = SmtOpts()
def usage():
def help():
print(os.path.basename(sys.argv[0]) + """ [options] <yosys_smt2_output>
-h, --help
show this message
-t <num_steps>
-t <skip_steps>:<num_steps>
-t <skip_steps>:<step_size>:<num_steps>
@ -181,19 +184,25 @@ def usage():
(this feature is experimental and incomplete)
""" + so.helpmsg())
def usage():
help()
sys.exit(1)
try:
opts, args = getopt.getopt(sys.argv[1:], so.shortopts + "t:igcm:", so.longopts +
["final-only", "assume-skipped=", "smtc=", "cex=", "aig=", "aig-noheader", "yw=", "btorwit=", "presat",
opts, args = getopt.getopt(sys.argv[1:], so.shortopts + "t:higcm:", so.longopts +
["help", "final-only", "assume-skipped=", "smtc=", "cex=", "aig=", "aig-noheader", "yw=", "btorwit=", "presat",
"dump-vcd=", "dump-yw=", "dump-vlogtb=", "vlogtb-top=", "dump-smtc=", "dump-all", "noinfo", "append=",
"smtc-init", "smtc-top=", "noinit", "binary", "keep-going", "check-witness", "detect-loops"])
except:
usage()
for o, a in opts:
if o == "-t":
if o in ("-h", "--help"):
help()
sys.exit(0)
elif o == "-t":
got_topt = True
a = a.split(":")
if len(a) == 1: