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):
""" 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 = joinpath(dirname(executable), '..')
if self._version_newer_than('5.0.0'):
paths = self.REQUIRED_PATHS_5_0_0
elif self._version_newer_than('4.0.1'):
paths = self.REQUIRED_PATHS_4_0_1
else:
paths = OldSymbiotic.REQUIRED_PATHS
return [executable] + util.flatten(
util.expand_filename_pattern(path, installDir) for path in paths)
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_from_executable(executable,
required_paths,
parent_dir=False):
"""
Get a list of program files by expanding a list of path patterns
and interpreting it as relative to the executable.
This method can be used as helper for implementing the method program_files().
Contrary to the default implementation of program_files(), this method does not explicitly
add the executable to the list of returned files, it assumes that required_paths
contains a path that covers the executable.
@param executable: the path to the executable of the tool (typically the result of executable())
@param required_paths: a list of required path patterns
@param parent_dir: whether required_paths are relative to the directory of executable or the parent directory
@return a list of paths as strings, suitable for result of program_files()
"""
base_dir = os.path.dirname(executable)
if parent_dir:
base_dir = os.path.join(base_dir, os.path.pardir)
return util.flatten(
util.expand_filename_pattern(path, base_dir)
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)
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 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)
