projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c50bd78 4ef02d2)
Merge pull request #172 from jix/smtbmc-unroll-noincr-traces-fix
authorJannis Harder <me@jix.one>
Mon, 13 Jun 2022 12:05:37 +0000 (14:05 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Jun 2022 12:05:37 +0000 (14:05 +0200)
Regression test for smtbmc --unroll --noincr


Trivial merge