mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-31 00:13:18 +00:00
Code Activity

Improvements in yosys-smtbmc

Browse source
This commit is contained in:
Clifford Wolf 2015-10-14 01:27:55 +02:00
parent 821f1b8534
commit d7de0f4bd1
3 changed files with 38 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

6
backends/smt2/smtio.py
View file

@ -50,12 +50,12 @@ class smtio:
self.write("(set-logic %s)" % logic)
if info is not None:
self.write("(set-info :source |%s|)" % info)
self.write("(set-info :smt-lib-version 2.5)")
self.write("(set-info :category \"industrial\")")
self.write("(set-info :smt-lib-version 2.5)")
self.write("(set-info :category \"industrial\")")
def timestamp(self):
secs = int(time() - self.start_time)
return "+ %6d %3d:%02d:%02d " % (secs, secs // (60*60), (secs // 60) % 60, secs % 60)
return "## %6d %3d:%02d:%02d " % (secs, secs // (60*60), (secs // 60) % 60, secs % 60)
def write(self, stmt):
stmt = stmt.strip()