コード例 #1
0
ファイル: predatorhp.py プロジェクト: michkot/benchexec
 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)
コード例 #2
0
ファイル: template.py プロジェクト: stieglma/benchexec
 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)
コード例 #3
0
ファイル: blast.py プロジェクト: hguenther/benchexec
 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)
コード例 #4
0
ファイル: smack.py プロジェクト: stieglma/benchexec
 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)
コード例 #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)