diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-03 20:00:07 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-03 20:00:07 +0100 |
| commit | ae4e204c760249afef34aaef6854d89076db2c47 (patch) | |
| tree | 04dd4f3942576993e68d120fda05d35f1452f61b | |
| parent | 707ddb77bcb416399f7c61a2670731adbb97fc83 (diff) | |
| download | yosys-ae4e204c760249afef34aaef6854d89076db2c47.tar.gz yosys-ae4e204c760249afef34aaef6854d89076db2c47.tar.bz2 yosys-ae4e204c760249afef34aaef6854d89076db2c47.zip | |
Improved error handling in yosys-smtbmc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
| -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): |