projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e43ebf8) | patch
yosys-smtbmc: Option to keep going after failed assertions in BMC mode
authorJannis Harder <me@jix.one>
Mon, 21 Mar 2022 17:26:27 +0000 (18:26 +0100)
committerJannis Harder <me@jix.one>
Thu, 24 Mar 2022 15:01:14 +0000 (16:01 +0100)
commit5e4d804e5383476663f28fcb80af88979584202f
tree91f788fdb6d43ada04cbc064dc93049c4889cb69tree
parente43ebf8527388315081bc5da954fc82f5d80ebc5commit | diff
yosys-smtbmc: Option to keep going after failed assertions in BMC mode
backends/smt2/smtbmc.py diff | blob | history