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
tree1366c3f29c9b03e71739a3b79bc6b9ae37287340
parentbe6638e55bd25bc040b04e87762f3439e26989ab
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc

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