Add missing path to the REQUIRED_PATHS (now tbf.py, before tbf_testsuite-validator.py)
@@ -31,7 +31,7 @@ class Tool(benchexec.tools.template.BaseTool):
Tool info for tbf (https://github.com/sosy-lab/tbf).
"""
- REQUIRED_PATHS = ["tbf", "lib"]
+ REQUIRED_PATHS = ["tbf", "lib", "bin"]
def program_files(self, executable):
return self._program_files_from_executable(executable, self.REQUIRED_PATHS, parent_dir=True)
