projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb5705b) | patch
smtbmc: Fix induction trace filename with --keep-going for the basecase
authorJannis Harder <me@jix.one>
Thu, 23 Jun 2022 11:15:58 +0000 (13:15 +0200)
committerJannis Harder <me@jix.one>
Thu, 23 Jun 2022 11:15:58 +0000 (13:15 +0200)
commit3dcf7766ea716ddddea428268cae26f004afcf9f
tree574b999d933d302a8cd1e09aa15c6b63417b807btree
parentfb5705b5bd53d19de9cb1492e1325838eda5ea21commit | diff
smtbmc: Fix induction trace filename with --keep-going for the basecase

--keep-going only applies to the basecase and induction runs without that
option, so the trace filename for induction should have no placeholder.
sbysrc/sby_engine_smtbmc.py diff | blob | history