From: Jannis Harder <me@jix.one>
Date: Thu, 23 Jun 2022 11:15:58 +0000 (+0200)
Subject: smtbmc: Fix induction trace filename with --keep-going for the basecase
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3dcf7766ea716ddddea428268cae26f004afcf9f;p=SymbiYosys.git

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.
---

diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index 4ec365d..0917763 100644
--- a/sbysrc/sby_engine_smtbmc.py
+++ b/sbysrc/sby_engine_smtbmc.py
@@ -131,7 +131,7 @@ def run(mode, task, engine_idx, engine):
         smtbmc_opts.append("-c")
         trace_prefix += "%"
 
-    if keep_going:
+    if keep_going and mode != "prove_induction":
         smtbmc_opts.append("--keep-going")
         trace_prefix += "%"