From ae4e204c760249afef34aaef6854d89076db2c47 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 3 Mar 2018 20:00:07 +0100 Subject: [PATCH] Improved error handling in yosys-smtbmc Signed-off-by: Clifford Wolf --- backends/smt2/smtio.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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): -- 2.30.2