diff options
| -rw-r--r-- | backends/smt2/smtio.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 34e8cf604..e6f80d0ac 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -135,7 +135,8 @@ class SmtIo: def __del__(self): if self.p is not None: os.killpg(os.getpgid(self.p.pid), signal.SIGTERM) - del running_solvers[self.p_index] + if running_solvers is not None: + del running_solvers[self.p_index] def setup(self): assert not self.setup_done @@ -264,6 +265,7 @@ class SmtIo: data = self.p.stdout.readline().decode("ascii") if data == "": break self.p_queue.put(data) + self.p_queue.put("") self.p_running = False def p_open(self): |