projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be6638e) | patch
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc
authorClaire Wolf <claire@symbioticeda.com>
Mon, 20 Jul 2020 17:35:32 +0000 (19:35 +0200)
committerClaire Wolf <claire@symbioticeda.com>
Mon, 20 Jul 2020 17:35:32 +0000 (19:35 +0200)
commita207cb362cc4b682a37060f380362b23c927805e
tree1366c3f29c9b03e71739a3b79bc6b9ae37287340tree
parentbe6638e55bd25bc040b04e87762f3439e26989abcommit | diff
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
backends/smt2/smtbmc.py diff | blob | history
backends/smt2/smtio.py diff | blob | history