def start(self): s2e_processes = find_processes(self._cmdline[0]) if s2e_processes: log.warn("There are still S2E instances running, NOT killing them ...") log.warn("Results might be corrupted if output files are not different") self._s2e_thread = threading.Thread(target = self.run_s2e_process) self._is_s2e_running = threading.Event() self._s2e_thread.start() #TODO: Would be nicer to put this somewhere in a function called is_running #so that other stuff can start in parallel and in the end the system waits for everything #to be running self._is_s2e_running.wait()
def start(self): s2e_processes = find_processes(self._cmdline[0]) if s2e_processes: log.warn("There are still S2E instances running, NOT killing them ...") log.warn("Results might be corrupted if output files are not different") log.info("Executing S2E process: %s", " ".join(["'%s'" % x for x in self._cmdline])) self._s2e_thread = threading.Thread(target = self.run_s2e_process) self._is_s2e_running = threading.Event() self._s2e_thread.start() #TODO: Would be nicer to put this somewhere in a function called is_running #so that other stuff can start in parallel and in the end the system waits for everything #to be running self._is_s2e_running.wait()
def start(self): s2e_processes = find_processes(self._cmdline[0]) if s2e_processes: log.warn("There are still S2E instances running, killing them ...") for proc in s2e_processes: os.kill(proc["pid"], signal.SIGKILL) log.info("Executing S2E process: %s", " ".join(["'%s'" % x for x in self._cmdline])) self._s2e_thread = threading.Thread(target = self.run_s2e_process) self._is_s2e_running = threading.Event() self._s2e_thread.start() #TODO: Would be nicer to put this somewhere in a function called is_running #so that other stuff can start in parallel and in the end the system waits for everything #to be running self._is_s2e_running.wait()