fix error message formatting

diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index 4828d6f3173e6eb779c739e7fcc3f67edf10b950..79c071ce044879c0166260f1c5b8bec85363473d 100644 (file)
--- 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