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

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

This commit is contained in:
Clifford Wolf 2017-01-04 15:23:48 +01:00
parent 080004b19a
commit b9ad91b93e
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
backends/smt2/smtio.py
View File

@ -16,7 +16,7 @@
# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. # 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 copy import deepcopy
from select import select from select import select
from time import time from time import time
@ -73,7 +73,7 @@ class SmtIo:
self.debug_print = False self.debug_print = False
self.debug_file = None self.debug_file = None
self.dummy_file = None self.dummy_file = None
self.timeinfo = True self.timeinfo = os.name != "nt"
self.unroll = False self.unroll = False
self.noincr = False self.noincr = False
self.info_stmts = list() self.info_stmts = list()
@ -618,7 +618,7 @@ class SmtOpts:
self.dummy_file = None self.dummy_file = None
self.unroll = False self.unroll = False
self.noincr = False self.noincr = False
self.timeinfo = True self.timeinfo = os.name != "nt"
self.logic = None self.logic = None
self.info_stmts = list() self.info_stmts = list()
self.nocomments = False self.nocomments = False
@ -673,6 +673,7 @@ class SmtOpts:
--noprogress --noprogress
disable timer display during solving disable timer display during solving
(this option is set implicitly on Windows)
--dump-smt2 <filename> --dump-smt2 <filename>
write smt2 statements to file write smt2 statements to file