projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ced2cc) | patch
Terminate running SMT solver when smtbmc is terminated
authorClifford Wolf <clifford@clifford.at>
Sat, 3 Mar 2018 13:50:40 +0000 (14:50 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 3 Mar 2018 13:50:40 +0000 (14:50 +0100)
commita44e1edaa302539fc1a53bf099c77b8085ed4d79
tree743afc539d66c1f9e4743ca1a163d4598fc20151tree
parent3ced2cca6e924bf748851580563b42d835aa099bcommit | diff
Terminate running SMT solver when smtbmc is terminated

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/smt2/smtio.py diff | blob | history