colin
/
picorv32
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Improvements to smtio.py

This commit is contained in:
Clifford Wolf 2015-09-18 20:19:14 +02:00
parent 482b2299d5
commit e063f64ea2
3 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/smt2-bmc/async.py
View File

@ -22,7 +22,7 @@ python3 async.py [options]
sys.exit(1) sys.exit(1)
try: try:
opts, args = getopt.getopt(sys.argv[1:], "s:t:vdp") opts, args = getopt.getopt(sys.argv[1:], so.optstr + "t:")
except: except:
usage() usage()

1
scripts/smt2-bmc/smtio.py
View File

@ -219,6 +219,7 @@ class smtio:
class smtopts: class smtopts:
def __init__(self): def __init__(self):
self.optstr = "s:d:vp"
self.solver = "yices" self.solver = "yices"
self.debug_print = False self.debug_print = False
self.debug_file = None self.debug_file = None

2
scripts/smt2-bmc/sync.py
View File

@ -18,7 +18,7 @@ python3 sync.py [options]
sys.exit(1) sys.exit(1)
try: try:
opts, args = getopt.getopt(sys.argv[1:], "s:t:vdp") opts, args = getopt.getopt(sys.argv[1:], so.optstr + "t:")
except: except:
usage() usage()