projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fb5705b 3dcf776)
Merge pull request #184 from jix/smtbmc-keepgoing-induction-trace-fix
authorJannis Harder <me@jix.one>
Thu, 23 Jun 2022 11:37:38 +0000 (13:37 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Jun 2022 11:37:38 +0000 (13:37 +0200)
smtbmc: Fix induction trace filename with --keep-going for the basecase


Trivial merge