fairfuzz.py: Add function for treatment of REQUIRED_PATHS (copied from cpachecker.py); overwriting the function from superclass
@@ -17,6 +17,7 @@ import benchexec.result as result
import benchexec.util as util
import benchexec.tools.template
import benchexec.model
+import os
class Tool(benchexec.tools.template.BaseTool):
"""
@@ -32,6 +33,10 @@ class Tool(benchexec.tools.template.BaseTool):
return util.find_executable('bin/fairfuzz-svtestcomp')
+ def program_files(self, executable):
+ installDir = os.path.join(os.path.dirname(executable), os.path.pardir)
+ return util.flatten(util.expand_filename_pattern(path, installDir) for path in self.REQUIRED_PATHS)
+
def version(self, executable):
stdout = self._version_from_tool(executable)
line = next(l for l in stdout.splitlines() if l.startswith('FairFuzz'))
