mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 16:28:17 +00:00
Code Activity

smtbmc: Fix induction trace filename with --keep-going for the basecase

Browse source 
--keep-going only applies to the basecase and induction runs without that
option, so the trace filename for induction should have no placeholder.
This commit is contained in:
Jannis Harder 2022-06-23 13:15:58 +02:00
parent fb5705b5bd
commit 3dcf7766ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_engine_smtbmc.py
View file

@ -131,7 +131,7 @@ def run(mode, task, engine_idx, engine):
smtbmc_opts.append("-c") smtbmc_opts.append("-c")
trace_prefix += "%" trace_prefix += "%"
if keep_going: if keep_going and mode != "prove_induction":
smtbmc_opts.append("--keep-going") smtbmc_opts.append("--keep-going")
trace_prefix += "%" trace_prefix += "%"