From 4f18b796f20ccbf6eab85c3ea7d049dc82d3ba50 Mon Sep 17 00:00:00 2001 From: Marian Lingsch-Rosenfeld Date: Mon, 16 Sep 2024 14:46:13 +0200 Subject: [PATCH] Fix warnings from ruff --- benchexec/tools/cpachecker.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/benchexec/tools/cpachecker.py b/benchexec/tools/cpachecker.py index f55cca7a3..86d4309fd 100644 --- a/benchexec/tools/cpachecker.py +++ b/benchexec/tools/cpachecker.py @@ -194,8 +194,8 @@ def option_present(option): options += [f"{prefix}witness", possible_witness_files[0]] else: raise benchexec.tools.template.UnsupportedFeatureException( - f"You are passing a witness as both an option and through the task definition. " - f"Please remove one of them." + "You are passing a witness as both an option and through the task definition. " + "Please remove one of them." ) return options