def create_if_supported(cls): executable = find_executable('cpu-energy-meter', exitOnError=False, use_current_dir=False) if executable is None: # not available on current system logging.debug('Energy measurement not available because cpu-energy-meter binary could not be found.') return None return cls(executable)
def executable(self): """ Find the path to the executable file that will get executed. The path returned should be relative to the current directory. """ executable = util.find_executable('pacman.sh') return executable
def executable(self): executable = util.find_executable('cpa.sh', 'scripts/cpa.sh') executableDir = os.path.join(os.path.dirname(executable), os.path.pardir) if os.path.isdir(os.path.join(executableDir, 'src')): self._buildCPAchecker(executableDir) if not os.path.isfile(os.path.join(executableDir, "cpachecker.jar")): logging.warning("Required JAR file for CPAchecker not found in {0}.".format(executableDir)) return executable
def executable(self): # Relative path to depthk wrapper # return Util.find_executable('../../esbmc+depthk/depthk-wrapper.sh') return Util.find_executable('depthk-wrapper.sh' )
def executable(self): """ Find the path to the executable file that will get executed. This method always needs to be overridden, and most implementations will look similar to this one. The path returned should be relative to the current directory. """ return util.find_executable(self.BINS[0])
def _get_version(self): """ Determine the version based on map2check-wrapper.sh file """ exe_v6 = Util.find_executable('map2check-wrapper.sh', exitOnError=False) if exe_v6: return 6 else: return 7
def _prepareInputfile(self, inputfile): clangExecutable = util.find_executable("clang") newFilename = inputfile + ".o" subprocess.Popen( [clangExecutable, "-c", "-emit-llvm", "-std=gnu89", "-m32", inputfile, "-O0", "-o", newFilename, "-w"], stdout=subprocess.PIPE, ).wait() return newFilename
def preprocessInputfile(self, inputfile): gotoCcExecutable = util.find_executable('goto-cc') # compile with goto-cc to same file, bith '.cc' appended self.preprocessedFile = inputfile + ".cc" subprocess.Popen([gotoCcExecutable, inputfile, '-o', self.preprocessedFile], stdout=subprocess.PIPE).wait() return self.preprocessedFile
def executable(self): """ Find the path to the executable file that will get executed. This method always needs to be overridden, and most implementations will look similar to this one. The path returned should be relative to the current directory. """ exe = util.find_executable('bin/symbiotic', exitOnError=False) if exe: return exe else: # this may be the old version of Symbiotic return OldSymbiotic.executable(self)
def executable(self): """ Find the path to the executable file that will get executed. This method always needs to be overridden, and most implementations will look similar to this one. The path returned should be relative to the current directory. """ def is_exec(fpath): return os.path.isfile(fpath) and os.access(fpath, os.X_OK) for b in [os.path.join("divine-svc", self.BINS[0]), self.BINS[0]]: if is_exec(b): return os.path.join(".", b) return util.find_executable(self.BINS[0])
def _perform_binaries_check(self, additional): try: from benchexec.util import find_executable except ImportError: from .benchexec.util import find_executable executables = ['clang', 'opt', 'llvm-link', 'llvm-nm', 'sbt-instr' ] + additional for exe in executables: exe_path = find_executable(exe) if not os.path.isfile(exe_path): err("Cannot find executable '{0}' ('{1}')".format( exe, exe_path)) else: dbg("'{0}' is '{1}'".format(os.path.basename(exe), exe_path))
def executable(self): exec = util.find_executable('Ultimate.py') for (dirpath, dirnames, filenames) in os.walk(exec): if 'Ultimate' in filenames and 'plugins' in dirnames: return exec break # possibly another Ultimate.py was found, check in the current dir current = os.getcwd() for (dirpath, dirnames, filenames) in os.walk(current): if 'Ultimate' in filenames and 'Ultimate.py' in filenames and 'plugins' in dirnames: return './Ultimate.py' break sys.exit("ERROR: Could not find Ultimate executable in '{0}' or '{1}'". format(str(exec), str(current)))
def executable(self): exe = util.find_executable("Ultimate.py") for (dirpath, dirnames, filenames) in os.walk(exe): if "Ultimate" in filenames and "plugins" in dirnames: return exe break # possibly another Ultimate.py was found, check in the current dir current = os.getcwd() for (dirpath, dirnames, filenames) in os.walk(current): if ("Ultimate" in filenames and "Ultimate.py" in filenames and "plugins" in dirnames): return "./Ultimate.py" break sys.exit("ERROR: Could not find Ultimate executable in '{0}' or '{1}'". format(str(exe), str(current)))
def __init__(self, show_warnings=False): self.reset_required = False self.cli_exists = False self.show_warnings = show_warnings self.mon_process = None self.executable_path = find_executable("pqos_wrapper", exitOnError=False, use_current_dir=False) if self.executable_path is not None: self.cli_exists = True else: if self.show_warnings: logging.info( "Unable to find pqos_wrapper, please install it for " "cache allocation and monitoring if your CPU supports Intel RDT " "(cf. https://gitlab.com/sosy-lab/software/pqos-wrapper).")
def _prepareInputfile(self, inputfile): clangExecutable = util.find_executable('clang') newFilename = inputfile + ".o" subprocess.Popen([clangExecutable, '-c', '-emit-llvm', '-std=gnu89', '-m32', inputfile, '-O0', '-o', newFilename, '-w'], stdout=subprocess.PIPE).wait() return newFilename
def executable(self): exe = util.find_executable("Ultimate.py") if exe: for (_dirpath, dirnames, filenames) in os.walk(os.path.dirname(exe)): if "Ultimate" in filenames and "plugins" in dirnames: return exe break # possibly another Ultimate.py was found or not found at all, check in the current dir current = os.getcwd() for (_dirpath, dirnames, filenames) in os.walk(current): if ("Ultimate" in filenames and "Ultimate.py" in filenames and "plugins" in dirnames): return "./Ultimate.py" break sys.exit( # noqa: R503 always raises "ERROR: Could not find Ultimate executable in '{0}' or '{1}'". format(str(exe), str(current)))
def executable(self): executable = util.find_executable("cpa.sh", "scripts/cpa.sh") base_dir = os.path.join(os.path.dirname(executable), os.path.pardir) jar_file = os.path.join(base_dir, "cpachecker.jar") bin_dir = os.path.join(base_dir, "bin") src_dir = os.path.join(base_dir, "src") # If this is a source checkout of CPAchecker, we heuristically check that # sources are not newer than binaries (cpachecker.jar or files in bin/). if os.path.isdir(src_dir): src_mtime = self._find_newest_mtime(src_dir) if os.path.isfile(jar_file): if src_mtime > os.stat(jar_file).st_mtime: sys.exit("CPAchecker JAR is not uptodate, run 'ant jar'!") elif os.path.isdir(bin_dir): if src_mtime > self._find_newest_mtime(bin_dir): sys.exit("CPAchecker build is not uptodate, run 'ant'!") return executable
def executable(self): #Relative path to map2check wrapper return Util.find_executable('wrapper_script_map2check.sh')
def executable(self): return util.find_executable('esbmc.sh')
def executable(self): return util.find_executable('pblast.opt')
def executable(self): return util.find_executable("bin/jpf-core-sv-comp")
def executable(self): return util.find_executable("sea_svcomp", os.path.join("bin", "sea_svcomp"))
def executable(self): """ Tells BenchExec to search for 'smack' as the main executable to be called when running SMACK. """ return util.find_executable('smack')
def executable(self): return util.find_executable("skink.sh")
def executable(self): return util.find_executable('feaver_cmd')
def executable(self): return util.find_executable('hiptnt.sh')
def executable(self): super(Tool, self).executable() # Makes sure that CPAchecker can be called, shows a warning otherwise return util.find_executable('cpa_witness_exec.py', 'scripts/cpa_witness_exec.py')
def executable(self): return util.find_executable('scripts/veriabs')
def executable(self): return util.find_executable('mu-cseq.py')
def executable(self): return util.find_executable("vvt-svcomp-bench.sh", os.path.join("bin", "vvt-svcomp-bench.sh"))
def executable(self): return util.find_executable("legion-sv")
def executable(self): return util.find_executable('llbmc')
def executable(self): return util.find_executable('sv-ceagle')
def executable(self): return util.find_executable('2ls')
def executable(self): return util.find_executable('javac')
def executable(self): return util.find_executable('sea_svcomp')
def executable(self): return util.find_executable('Ultimate.py')
def executable(self): return util.find_executable("lazy-cseq.py")
def executable(self): executable = util.find_executable('predatorHP.py') executableDir = os.path.dirname(executable) if not os.path.isfile(os.path.join(executableDir, "predator-build-ok")): self._buildPredatorHp(executableDir) return executable
def cmdline(self, blastExe, options, tasks, propertyfile, rlimits): workingDir = self.working_directory(blastExe) ocamlExe = util.find_executable('ocamltune') spec = ["-propertyfile", propertyfile] if propertyfile is not None else [] svcompExe = util.find_executable('svcomprunner') return [os.path.relpath(svcompExe, start=workingDir)] + [os.path.relpath(ocamlExe, start=workingDir), blastExe] + options + spec + tasks
def executable(self): #Relative path to map2check wrapper if self._get_version() == 6: return Util.find_executable('map2check-wrapper.sh') elif self._get_version() > 6: return Util.find_executable('map2check-wrapper.py')
def executable(self): return util.find_executable('tbf-testsuite-validator', 'bin/tbf-testsuite-validator')
def executable(self): return util.find_executable("impara")
def executable(self): return util.find_executable('cbmc')
def executable(self): return util.find_executable("run-gacal.py")
def executable(self): return util.find_executable('ceagle.sh')
def executable(self): return util.find_executable("scripts/verifuzz.py")
def executable(self): return util.find_executable('satabs')
def executable(self): return util.find_executable('sea_svcomp', os.path.join("bin", 'sea_svcomp'))
def executable(self): super(Tool, self).executable( ) # Makes sure that CPAchecker can be called, shows a warning otherwise return util.find_executable('cpa_witness_exec.py', 'scripts/cpa_witness_exec.py')
def executable(self): executable = util.find_executable("hiprec") return executable
def executable(self): return util.find_executable("metaval.sh")
def executable(self): return util.find_executable('forest')