From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Thu, 26 Mar 2020 01:19:47 +0000 (+0000)
Subject: Skip reading stdout from the solver that if it isn't a line reading only "sat", ... 
X-Git-Tag: working-ls180~727^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5accf08ef9f226b78cbd47c83522cce6afffb280;p=yosys.git

Skip reading stdout from the solver that if it isn't a line reading only "sat", "unsat", or "unknown".
---

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