From 93d734da519a007307e7b6bd2341831a81a3f3b4 Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Sun, 15 Dec 2024 16:07:56 +0000 Subject: [PATCH] chore: add timeout to catch long-running files --- bv-evaluation/compare-leansat-vs-bitwuzla-llvm-sym.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bv-evaluation/compare-leansat-vs-bitwuzla-llvm-sym.py b/bv-evaluation/compare-leansat-vs-bitwuzla-llvm-sym.py index 712f23f5f..1dcdfe1d2 100644 --- a/bv-evaluation/compare-leansat-vs-bitwuzla-llvm-sym.py +++ b/bv-evaluation/compare-leansat-vs-bitwuzla-llvm-sym.py @@ -33,7 +33,7 @@ def run_file(file: str): with open(log_file_path, 'w') as log_file: cmd = 'lake lean ' + file_path print(cmd) - subprocess.Popen(cmd, cwd=ROOT_DIR, stdout=log_file, stderr=log_file, shell=True).wait() + subprocess.Popen(cmd, cwd=ROOT_DIR, stdout=log_file, stderr=log_file, shell=True).wait(timeout=1800) subprocess.Popen('sed -i -E \'s,bv_bench,simp_alive_benchmark,g\' ' + file_path, cwd=ROOT_DIR, shell=True).wait() def process(jobs: int):