def check_existing_results(self, benchmark):
        if os.path.exists(benchmark.log_folder):
            sys.exit('Output directory {0} already exists, will not overwrite existing results.'.format(benchmark.log_folder))
        if os.path.exists(benchmark.log_zip):
            sys.exit('Output archive {0} already exists, will not overwrite existing results.'.format(benchmark.log_zip))
Check and abort if the target directory for the benchmark results
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/benchexec.py/BenchExec.check_existing_results