From: Jannis Harder <me@jix.one>
Date: Mon, 28 Mar 2022 14:58:41 +0000 (+0200)
Subject: Merge pull request #3247 from jix/smtbmc-keepgoing
X-Git-Tag: yosys-0.16~20
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=17e2a3048c8ec2610d5fbd52ad5ce52964644e66;p=yosys.git

Merge pull request #3247 from jix/smtbmc-keepgoing

smtbmc `--keep-going`
---

17e2a3048c8ec2610d5fbd52ad5ce52964644e66