mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Revert part of 0fda8308 from #1746 that broke other smtbmc flows

Browse source 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
This commit is contained in:
Claire Wolf 2020-03-24 17:30:31 +01:00
parent 3e46faa58c
commit c9555c9ade
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smtio.py
View file

@ -704,9 +704,7 @@ class SmtIo:
if msg is not None: if msg is not None:
print("%s waiting for solver (%s)" % (self.timestamp(), msg), flush=True) print("%s waiting for solver (%s)" % (self.timestamp(), msg), flush=True)
result = "" result = self.read()
while result not in ["sat", "unsat"]:
result = self.read()
if self.debug_file: if self.debug_file:
print("(set-info :status %s)" % result, file=self.debug_file) print("(set-info :status %s)" % result, file=self.debug_file)