def program_files(self, executable):
""" List of files/directories necessary to build and run the tool. """
executableDir = os.path.dirname(executable)
dependencies = [
"predator-repo",
"build-all.sh"
]
return [executable] + util.flatten(util.expand_filename_pattern(dep, installDir) for dep in dependencies)
def program_files(self, executable):
"""
OPTIONAL, this method is only necessary for situations when the benchmark environment
needs to know all files belonging to a tool
(to transport them to a cloud service, for example).
Returns a list of files or directories that are necessary to run the tool,
relative to the current directory.
@return a list of paths as strings
"""
installDir = os.path.dirname(executable)
return [executable] + util.flatten(util.expand_filename_pattern(path, installDir) for path in self.REQUIRED_PATHS)
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 REQUIRED_PATHS)
def program_files(self, executable):
"""
Returns a list of files or directories that are necessary to run the tool.
"""
installDir = os.path.dirname(executable)
return [executable] + util.flatten(util.expand_filename_pattern(path, installDir) for path in REQUIRED_PATHS)
def program_files(self, executable):
install_dir = os.path.dirname(executable)
paths = self.REQUIRED_PATHS_SVCOMP17 if self._is_svcomp17_version(executable) else self.REQUIRED_PATHS
return [executable] + util.flatten(util.expand_filename_pattern(path, install_dir) for path in paths)
