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

Merge pull request #184 from jix/smtbmc-keepgoing-induction-trace-fix

Browse source 
smtbmc: Fix induction trace filename with --keep-going for the basecase
This commit is contained in:
Jannis Harder 2022-06-23 13:37:38 +02:00 committed by GitHub
parent fb5705b5bd 3dcf7766ea
commit f66436ce48
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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 += "%"