Merge pull request #2282 from YosysHQ/claire/satunsat
authorclairexen <claire@symbioticeda.com>
Mon, 20 Jul 2020 21:06:36 +0000 (23:06 +0200)
committerGitHub <noreply@github.com>
Mon, 20 Jul 2020 21:06:36 +0000 (23:06 +0200)
commit856d40973dce06e13fcded3388562341d82c092d
tree9431daaaf82f2d862e229f4190bea0506ba07735
parent3cb401db8c77035e88163b0d5d46f51a9510db77
parenta207cb362cc4b682a37060f380362b23c927805e
Merge pull request #2282 from YosysHQ/claire/satunsat

Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc