From: N. Engelhardt <nak@symbioticeda.com>
Date: Wed, 20 May 2020 06:55:36 +0000 (+0200)
Subject: Merge pull request #2054 from boqwxp/fix-smtbmc
X-Git-Tag: working-ls180~547
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7c4e580f8f9b5f441f3af5454e68cba38eb52e91;p=yosys.git

Merge pull request #2054 from boqwxp/fix-smtbmc

smtbmc: Fix return status handling.
---

7c4e580f8f9b5f441f3af5454e68cba38eb52e91