diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-01-04 15:23:48 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-01-04 15:23:48 +0100 |
| commit | b9ad91b93eb2863fb6b95c1ea3329156ae628837 (patch) | |
| tree | f5b1cfac53cd83e0d8048c1cf800350a90074429 /backends | |
| parent | 080004b19a035d2398d8defa3f3e207137801827 (diff) | |
| download | yosys-b9ad91b93eb2863fb6b95c1ea3329156ae628837.tar.gz yosys-b9ad91b93eb2863fb6b95c1ea3329156ae628837.tar.bz2 yosys-b9ad91b93eb2863fb6b95c1ea3329156ae628837.zip | |
Implicitly set "yosys-smtbmc --noprogress" on windows
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/smt2/smtio.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 6ec036a3b..497b72db8 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -16,7 +16,7 @@ # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. # -import sys, subprocess, re +import sys, subprocess, re, os from copy import deepcopy from select import select from time import time @@ -73,7 +73,7 @@ class SmtIo: self.debug_print = False self.debug_file = None self.dummy_file = None - self.timeinfo = True + self.timeinfo = os.name != "nt" self.unroll = False self.noincr = False self.info_stmts = list() @@ -618,7 +618,7 @@ class SmtOpts: self.dummy_file = None self.unroll = False self.noincr = False - self.timeinfo = True + self.timeinfo = os.name != "nt" self.logic = None self.info_stmts = list() self.nocomments = False @@ -673,6 +673,7 @@ class SmtOpts: --noprogress disable timer display during solving + (this option is set implicitly on Windows) --dump-smt2 <filename> write smt2 statements to file |