From: Miodrag Milanović <mmicko@gmail.com>
Date: Tue, 29 Mar 2022 19:20:07 +0000 (+0200)
Subject: Merge pull request #3258 from jix/fix-no-assertions
X-Git-Tag: yosys-0.16~16
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d44f618de52af4122a4d927863516d91a2145314;p=yosys.git

Merge pull request #3258 from jix/fix-no-assertions

smtbmc: fix bmc with no assertions
---

d44f618de52af4122a4d927863516d91a2145314