Fix parent class of tool-info-module testcov to BaseTool2
A previous update to the BaseTool2 functionality
probably missed updating the parent class from
BaseTool to BaseTool2
@@ -11,7 +11,7 @@ import benchexec.tools.template
from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
-class Tool(benchexec.tools.template.BaseTool):
+class Tool(benchexec.tools.template.BaseTool2):
"""
Tool info for TestCov (https://gitlab.com/sosy-lab/software/test-suite-validator).
"""
