projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa5d5ad) | patch
Initial support for the new smtbmc --keep-going option
authorJannis Harder <me@jix.one>
Mon, 21 Mar 2022 17:36:09 +0000 (18:36 +0100)
committerJannis Harder <me@jix.one>
Thu, 24 Mar 2022 15:57:16 +0000 (16:57 +0100)
commit7824460e27eb65cf240ab92e306b4be57eb0b161
tree27314c977af611dbe65d23bcc8c3dc30faf2e118tree
parentfa5d5ad831dcbea08ea1d9d6ff81df697183eaa1commit | diff
Initial support for the new smtbmc --keep-going option

So far this only passes on the option and adjusts the trace_prefix to
support multiple numbered traces. Further changes are needed to
correctly associate individual traces with the assertions failing in
that trace.
sbysrc/sby_engine_smtbmc.py diff | blob | history