def __init__(self,
timelimit=0,
log_verbose=False,
machine_model=utils.MACHINE_MODEL_32):
super().__init__(timelimit, machine_model, log_verbose)
self._run_env = utils.get_env_with_path_added(binary_dir)
def __init__(self,
timelimit=None,
log_verbose=False,
additional_cli_options='',
machine_model=utils.MACHINE_MODEL_32):
super().__init__(machine_model, log_verbose, additional_cli_options,
Preprocessor())
self._run_env = utils.get_env_with_path_added(binary_dir)
# Make sure that timelimit is never None
self.timelimit = timelimit if timelimit else 0
def __init__(self,
timelimit=None,
log_verbose=False,
search_heuristic='ppc',
machine_model=utils.MACHINE_MODEL_32):
super().__init__(timelimit, machine_model, log_verbose)
self.log_verbose = log_verbose
self._run_env = utils.get_env_with_path_added(bin_dir)
self.search_heuristic = search_heuristic
self.num_iterations = 100000
def __init__(self,
log_verbose=False,
additional_cli_options="",
machine_model=utils.MACHINE_MODEL_32):
super().__init__(machine_model, log_verbose, additional_cli_options,
Preprocessor())
self.log_verbose = log_verbose
self._run_env = utils.get_env_with_path_added(bin_dir)
self._run_env = utils.add_ld_path_to_env(self._run_env, lib_dir)
self.num_iterations = 100000
def __init__(self,
timelimit=0,
log_verbose=False,
search_heuristic=['random-path', 'nurs:covnew'],
machine_model=utils.MACHINE_MODEL_32):
super().__init__(timelimit, machine_model, log_verbose)
self.log_verbose = log_verbose
if type(search_heuristic) is not list:
self.search_heuristic = list(search_heuristic)
else:
self.search_heuristic = search_heuristic
self._run_env = utils.get_env_with_path_added(bin_dir)
def __init__(self,
timelimit=None,
log_verbose=False,
additional_cli_options="",
machine_model=utils.MACHINE_MODEL_32):
super().__init__(machine_model, log_verbose, additional_cli_options,
Preprocessor())
self.log_verbose = log_verbose
run_env = utils.get_env_with_path_added(bin_dir)
run_env['KLEE_RUNTIME_LIBRARY_PATH'] = str(lib_dir)
self._run_env = utils.add_ld_path_to_env(run_env, lib_dir)
self.timelimit = timelimit if timelimit else 0
def get_run_env(self):
return utils.get_env_with_path_added(bin_dir)