diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 11:43:03 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 11:43:03 +0000 |
commit | 0ff221900df65343c01738660f820fe05eb098a7 (patch) | |
tree | feef21d61998ca2b0325dc0f7adda1832186c064 /benchmarks/polybench-syn/run-vericert.sh | |
parent | 52c41786bb4673ebea32a870e7a3ad948cfe574d (diff) | |
download | vericert-0ff221900df65343c01738660f820fe05eb098a7.tar.gz vericert-0ff221900df65343c01738660f820fe05eb098a7.zip |
Increase polybench runner timeout to 1m
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |