diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-03-24 17:30:31 +0100 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-03-24 17:33:46 +0100 |
| commit | c9555c9adeba886a308c60615ac794ec20d9276e (patch) | |
| tree | 678c80a360ab257e4a0f69bb9673f0804a4c24ac /backends/smt2 | |
| parent | 3e46faa58c86fb85ee722abcaef5588f76bde564 (diff) | |
| download | yosys-c9555c9adeba886a308c60615ac794ec20d9276e.tar.gz yosys-c9555c9adeba886a308c60615ac794ec20d9276e.tar.bz2 yosys-c9555c9adeba886a308c60615ac794ec20d9276e.zip | |
Revert part of 0fda8308 from #1746 that broke other smtbmc flows
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smtio.py | 4 |
1 files changed, 1 insertions, 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) |