From: Claire Wolf <claire@symbioticeda.com>
Date: Tue, 24 Mar 2020 16:30:31 +0000 (+0100)
Subject: Revert part of 0fda8308 from #1746 that broke other smtbmc flows
X-Git-Tag: working-ls180~729
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9555c9adeba886a308c60615ac794ec20d9276e;p=yosys.git

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

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 4c691716e..3559781ec 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -704,9 +704,7 @@ class SmtIo:
                     if msg is not None:
                         print("%s waiting for solver (%s)" % (self.timestamp(), msg), flush=True)
 
-        result = ""
-        while result not in ["sat", "unsat"]:
-            result = self.read()
+        result = self.read()
 
         if self.debug_file:
             print("(set-info :status %s)" % result, file=self.debug_file)