diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-20 16:07:59 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-20 16:07:59 +0200 |
| commit | a889acb897b742f8d17ebccb0fb0d0a8e622fb70 (patch) | |
| tree | f0734a47d9d468bcc61527a1a99de532485f8526 /backends/smt2/smtio.py | |
| parent | fe9315b7a19bcb6dcde1a1ce49dd23f999bda7eb (diff) | |
| download | yosys-a889acb897b742f8d17ebccb0fb0d0a8e622fb70.tar.gz yosys-a889acb897b742f8d17ebccb0fb0d0a8e622fb70.tar.bz2 yosys-a889acb897b742f8d17ebccb0fb0d0a8e622fb70.zip | |
Added smtbmc longopt support
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 1b3944ebf..8a8033c06 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -348,7 +348,8 @@ class smtio: class smtopts: def __init__(self): - self.optstr = "s:d:vp" + self.shortopts = "s:v" + self.longopts = ["no-progress", "dump-smt2="] self.solver = "z3" self.debug_print = False self.debug_file = None @@ -359,9 +360,9 @@ class smtopts: self.solver = a elif o == "-v": self.debug_print = True - elif o == "-p": + elif o == "--no-progress": self.timeinfo = True - elif o == "-d": + elif o == "--dump-smt2": self.debug_file = open(a, "w") else: return False @@ -376,10 +377,10 @@ class smtopts: -v enable debug output - -p - disable timer display during solving + --no-progress + disable running timer display during solving - -d <filename> + --dump-smt2 <filename> write smt2 statements to file """ |