mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-16 07:45:28 +00:00
Code Activity

Improve smt2 encodings of assert/assume/cover, better wire_smt2 help msg

Browse source
This commit is contained in:
Clifford Wolf 2017-03-04 23:41:54 +01:00
parent a6ca28276e
commit c855353986
2 changed files with 87 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smtio.py
View file

@ -334,10 +334,10 @@ class SmtIo:
self.modinfo[self.curmod].wsize[fields[2]] = int(fields[3])
if fields[1] == "yosys-smt2-assert":
self.modinfo[self.curmod].asserts[fields[2]] = fields[3]
self.modinfo[self.curmod].asserts["%s_a %s" % (self.curmod, fields[2])] = fields[3]
if fields[1] == "yosys-smt2-cover":
self.modinfo[self.curmod].covers[fields[2]] = fields[3]
self.modinfo[self.curmod].covers["%s_c %s" % (self.curmod, fields[2])] = fields[3]
if fields[1] == "yosys-smt2-anyconst":
self.modinfo[self.curmod].anyconsts[fields[2]] = fields[3]