From: Jannis Harder <me@jix.one>
Date: Wed, 30 Mar 2022 09:42:48 +0000 (+0200)
Subject: Merge pull request #147 from jix/smtbmc-keepgoing
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81e8b6737be789faf3d15d22c31a5de699fd8d7e;p=SymbiYosys.git

Merge pull request #147 from jix/smtbmc-keepgoing

Support and tests for smtbmc `--keep-going`
---

81e8b6737be789faf3d15d22c31a5de699fd8d7e
diff --cc tests/.gitignore
index 120675b,86d3851..23d0008
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@@ -8,6 -8,6 +8,7 @@@
  /redxor*/
  /stopfirst*/
  /junit_*/
+ /keepgoing_*/
  /submod_props*/
  /multi_assert*/
 +/aim_vs_smt2_nonzero_start_offset*/