From: clairexen <claire@symbioticeda.com>
Date: Mon, 20 Jul 2020 21:06:36 +0000 (+0200)
Subject: Merge pull request #2282 from YosysHQ/claire/satunsat
X-Git-Tag: working-ls180~369
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=856d40973dce06e13fcded3388562341d82c092d;p=yosys.git

Merge pull request #2282 from YosysHQ/claire/satunsat

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

856d40973dce06e13fcded3388562341d82c092d