mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

bugfix for mathsat counterexample vcd dump

Browse source
This commit is contained in:
Emil Jiří Tywoniak 2022-10-20 19:31:16 +02:00
parent 083ca6ab06
commit 2ba435b6bc
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/smt2/smtio.py
View file

@ -917,7 +917,7 @@ class SmtIo:
if len(expr_list) == 0: if len(expr_list) == 0:
return [] return []
self.write("(get-value (%s))" % " ".join(expr_list)) self.write("(get-value (%s))" % " ".join(expr_list))
return [n[1] for n in self.parse(self.read())] return [n[1] for n in self.parse(self.read()) if n]
def get_path(self, mod, path): def get_path(self, mod, path):
assert mod in self.modinfo assert mod in self.modinfo