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

qbfsat: Move SMT2 info statements back to the top of the file.

This commit is contained in:
Alberto Gonzalez 2020-05-25 20:32:13 +00:00
parent 903456c267
commit 54570a3978
No known key found for this signature in database
GPG Key ID: 8395A8BA109708B2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
backends/smt2/smtio.py
View File

@ -236,6 +236,9 @@ class SmtIo:
self.setup_done = True self.setup_done = True
for stmt in self.info_stmts:
self.write(stmt)
if self.forall and self.solver == "yices": if self.forall and self.solver == "yices":
self.write("(set-option :yices-ef-max-iters 1000000000)") self.write("(set-option :yices-ef-max-iters 1000000000)")
@ -244,9 +247,6 @@ class SmtIo:
self.write("(set-logic %s)" % self.logic) self.write("(set-logic %s)" % self.logic)
for stmt in self.info_stmts:
self.write(stmt)
def timestamp(self): def timestamp(self):
secs = int(time() - self.start_time) secs = int(time() - self.start_time)
return "## %3d:%02d:%02d " % (secs // (60*60), (secs // 60) % 60, secs % 60) return "## %3d:%02d:%02d " % (secs // (60*60), (secs // 60) % 60, secs % 60)