riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix a hangup in yosys-smtbmc error handling 

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-04 21:13:30 +01:00
parent 480e8e676a
commit 45a6fce92c
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
backends/smt2/smtio.py
View File

@ -47,7 +47,7 @@ def sig_handler(signum, frame):
got_term_signal = True got_term_signal = True
for p in running_solvers.values(): for p in running_solvers.values():
os.killpg(os.getpgid(p.pid), signal.SIGTERM) os.killpg(os.getpgid(p.pid), signal.SIGTERM)
sys.exit(0) sys.exit(1)
signal.signal(signal.SIGINT, sig_handler) signal.signal(signal.SIGINT, sig_handler)
signal.signal(signal.SIGHUP, sig_handler) signal.signal(signal.SIGHUP, sig_handler)
@ -571,12 +571,14 @@ class SmtIo:
if count_brackets == 0: if count_brackets == 0:
break break
if self.solver != "dummy" and self.p.poll(): if self.solver != "dummy" and self.p.poll():
print("SMT Solver terminated unexpectedly: %s" % "".join(stmt)) print("SMT Solver terminated unexpectedly: %s" % "".join(stmt), flush=True)
sys.exit(1) sys.exit(1)
stmt = "".join(stmt) stmt = "".join(stmt)
if stmt.startswith("(error"): if stmt.startswith("(error"):
print("SMT Solver Error: %s" % stmt, file=sys.stderr) print("SMT Solver Error: %s" % stmt, file=sys.stderr, flush=True)
if self.solver != "dummy":
self.p_close()
sys.exit(1) sys.exit(1)
return stmt return stmt