From 7bae1b8bba6532aa71ec9e1e9de474f0c784be19 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Tue, 21 Jul 2020 14:48:38 +0200 Subject: [PATCH] fix error message formatting --- sbysrc/sby_engine_btor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2