From 0ff221900df65343c01738660f820fe05eb098a7 Mon Sep 17 00:00:00 2001
From: Michalis Pardalos <m.pardalos@gmail.com>
Date: Mon, 1 Mar 2021 11:43:03 +0000
Subject: Increase polybench runner timeout to 1m

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

(limited to 'benchmarks/polybench-syn')

diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh
index 16214fc..6ac5cde 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 30s ./"$benchmark".iver > "$benchmark".tmp
+   timeout 1m ./"$benchmark".iver > "$benchmark".tmp
    if [ $? -eq 124 ]; then
       timeout=1
    else
-- 
cgit