From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 3 Mar 2018 19:00:07 +0000 (+0100)
Subject: Improved error handling in yosys-smtbmc
X-Git-Tag: yosys-0.8~188
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae4e204c760249afef34aaef6854d89076db2c47;p=yosys.git

Improved error handling in yosys-smtbmc

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

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):