From: N. Engelhardt <nak@symbioticeda.com>
Date: Tue, 21 Jul 2020 12:48:38 +0000 (+0200)
Subject: fix error message formatting
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7bae1b8bba6532aa71ec9e1e9de474f0c784be19;p=SymbiYosys.git

fix error message formatting
---

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index 4828d6f..79c071c 100644
--- a/sbysrc/sby_engine_btor.py
+++ b/sbysrc/sby_engine_btor.py
@@ -131,7 +131,7 @@ def run(mode, job, engine_idx, engine):
                     assert common_state.produced_cex == 0
 
             else:
-                job.error("engine_{}: BTOR solver '{}' is currently not supported in cover mode.".format(solver_args[0]))
+                job.error("engine_{}: BTOR solver '{}' is currently not supported in cover mode.".format(engine_idx, solver_args[0]))
 
         if (common_state.produced_cex < common_state.expected_cex) and line == "sat":
             assert common_state.wit_file == None