From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 4 Jan 2017 14:23:48 +0000 (+0100)
Subject: Implicitly set "yosys-smtbmc --noprogress" on windows
X-Git-Tag: yosys-0.8~542
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9ad91b93eb2863fb6b95c1ea3329156ae628837;p=yosys.git

Implicitly set "yosys-smtbmc --noprogress" on windows
---

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