From a77b033fb57cdb9571a8cfd0aba2164437d57662 Mon Sep 17 00:00:00 2001
From: Michalis Pardalos <m.pardalos@gmail.com>
Date: Sun, 28 Feb 2021 18:41:14 +0000
Subject: Increase polybench runner timeout

---
 benchmarks/polybench-syn/run-vericert.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'benchmarks')

diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh
index a2b2d07..a54154d 100755
--- a/benchmarks/polybench-syn/run-vericert.sh
+++ b/benchmarks/polybench-syn/run-vericert.sh
@@ -10,7 +10,7 @@ while read -r benchmark ; do
    { time ../../bin/vericert -DSYNTHESIS $@ --debug-hls "$benchmark".c -o "$benchmark".v ; } 2> "$benchmark".comp
    iverilog -o "$benchmark".iver -- "$benchmark".v
 
-   timeout 10s ./"$benchmark".iver > "$benchmark".tmp
+   timeout 30s ./"$benchmark".iver > "$benchmark".tmp
    if [ $? -eq 124 ]; then
       timeout=1
    else
-- 
cgit