projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4b423dc 0c5f62f)
Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix
authorJannis Harder <me@jix.one>
Fri, 10 Jun 2022 13:25:57 +0000 (15:25 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Jun 2022 13:25:57 +0000 (15:25 +0200)
smtbmc: noincr: keep solver running for post check-sat unrolling


Trivial merge