From c9555c9adeba886a308c60615ac794ec20d9276e Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Tue, 24 Mar 2020 17:30:31 +0100 Subject: [PATCH] Revert part of 0fda8308 from #1746 that broke other smtbmc flows Signed-off-by: Claire Wolf --- backends/smt2/smtio.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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) -- 2.30.2