projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de6006f) | patch
Improve yosys-smtbmc "solver not found" handling
authorClaire Wolf <clifford@clifford.at>
Mon, 27 Jan 2020 16:48:56 +0000 (17:48 +0100)
committerClaire Wolf <clifford@clifford.at>
Mon, 27 Jan 2020 16:48:56 +0000 (17:48 +0100)
commit485f31f6818e21974fac9030aa3976bb6107dfaa
tree92fefc3d0b161cf167026bedf0a7146609584bf3tree
parentde6006fbc82406d2942d0740bcfc7a4418070c9bcommit | diff
Improve yosys-smtbmc "solver not found" handling

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