Ejemplo n.º 1
0
 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)
Ejemplo n.º 2
0
 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)
Ejemplo n.º 3
0
 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)
Ejemplo n.º 4
0
 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)
Ejemplo n.º 5
0
 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)