def stop(self):
        self.stopped_by_interrupt = True

        if self.executor:
            self.executor.stop()
Stop the execution of a benchmark.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/benchexec.py/BenchExec.stop