Used black for formatting
@@ -9,7 +9,10 @@ from benchexec.tools.template import UnsupportedFeatureException
from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
import re
-coveriteam = __import__("benchexec.tools.coveriteam-verifier-validator", fromlist=["Tool"])
+coveriteam = __import__(
+ "benchexec.tools.coveriteam-verifier-validator", fromlist=["Tool"]
+)
+
class Tool(coveriteam.Tool):
"""
