Merge pull request #1658 from YosysHQ/clifford/smtbmcsolvernotfound
authorClaire Wolf <clifford@clifford.at>
Mon, 27 Jan 2020 16:59:58 +0000 (17:59 +0100)
committerGitHub <noreply@github.com>
Mon, 27 Jan 2020 16:59:58 +0000 (17:59 +0100)
commit07a12ebd4ff12c8016809eacad4551246fa4b316
tree92fefc3d0b161cf167026bedf0a7146609584bf3
parentde6006fbc82406d2942d0740bcfc7a4418070c9b
parent485f31f6818e21974fac9030aa3976bb6107dfaa
Merge pull request #1658 from YosysHQ/clifford/smtbmcsolvernotfound

Improve yosys-smtbmc "solver not found" handling