projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48d7a6c) | patch
smtbmc: fix bmc with no assertions
authorJannis Harder <me@jix.one>
Tue, 29 Mar 2022 18:41:50 +0000 (20:41 +0200)
committerJannis Harder <me@jix.one>
Tue, 29 Mar 2022 18:41:50 +0000 (20:41 +0200)
commit8b15f3a548571fd4736c76b5cc0b0b8e8cfc4fad
tree58c09be23af44eecc58c9acb473f3af9ab501860tree
parent48d7a6c477e24eba64716d12a1ac17b5c9109450commit | diff
smtbmc: fix bmc with no assertions

this was broken by the `--keep-going` changes
backends/smt2/smtbmc.py diff | blob | history