Address problems raised by ruff

sosy-lab · Oct 24, 2024 · e378809 · e378809
1 parent 8edf910
commit e378809
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 10 deletions.
diff --git a/benchexec/tools/cpachecker.py b/benchexec/tools/cpachecker.py
@@ -6,17 +6,14 @@
 # SPDX-License-Identifier: Apache-2.0
 
 import logging
-from pathlib import Path
-import sys
 import os
 import re
+import sys
 
 import benchexec.result as result
 import benchexec.tools.template
-
 from benchexec.tools.template import ToolNotFoundException
 from benchexec.tools.validation_utils import (
-    get_witness_input_files,
     get_non_witness_input_files,
     get_unique_witness,
 )

diff --git a/benchexec/tools/goblint.py b/benchexec/tools/goblint.py
@@ -5,15 +5,13 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 
-import benchexec.tools.template
-import benchexec.result as result
-
-import re
 import logging
+import re
 
+import benchexec.result as result
+import benchexec.tools.template
 from benchexec.tools.validation_utils import (
     get_non_witness_input_files,
-    get_unique_witness,
     get_witness_options,
 )
 

diff --git a/benchexec/tools/nitwit.py b/benchexec/tools/nitwit.py
@@ -11,7 +11,6 @@
 import benchexec.result as result
 import benchexec.tools.template
 from benchexec.tools.validation_utils import (
-    get_non_witness_input_files,
     get_witness_options,
     get_unique_non_witness_input_files,
 )