"python-benchmark", "*.whl")): sys.path.insert(0, egg) # Add ./benchmark/tools to __path__ of benchexec.tools package # such that additional tool-wrapper modules can be placed in this directory. import benchexec.tools benchexec.tools.__path__ = [ os.path.join(os.path.dirname(__file__), "benchmark", "tools") ] + benchexec.tools.__path__ import benchexec.tools.cpachecker cpachecker = benchexec.tools.cpachecker.Tool() executable = cpachecker.executable() required_files = cpachecker.program_files(executable) # install cloud and dependencies ant = subprocess.Popen(["ant", "resolve-benchmark-dependencies"]) ant.communicate() ant.wait() # assume that last parameter is the input file argv = sys.argv parameters = argv[1:-1] in_file = argv[-1] # start cloud and wait for exit logging.debug("Starting cloud.") logLevel = "FINER"
import logging import subprocess import sys sys.dont_write_bytecode = True # prevent creation of .pyc files for egg in glob.glob(os.path.join(os.path.dirname(__file__), os.pardir, 'lib', 'python-benchmark', '*.egg')): sys.path.insert(0, egg) # Add ./benchmark/tools to __path__ of benchexec.tools package # such that additional tool-wrapper modules can be placed in this directory. import benchexec.tools benchexec.tools.__path__ = [os.path.join(os.path.dirname(__file__), 'benchmark', 'tools')] + benchexec.tools.__path__ import benchexec.tools.cpachecker cpachecker = benchexec.tools.cpachecker.Tool() executable = cpachecker.executable() required_files = cpachecker.program_files(executable) # install cloud and dependencies ant = subprocess.Popen(["ant", "resolve-benchmark-dependencies"]) ant.communicate() ant.wait() # assume that last parameter is the input file argv = sys.argv parameters = argv[1:-1] in_file = argv[-1] # start cloud and wait for exit logging.debug("Starting cloud.") logLevel = "FINER"