diff options
Diffstat (limited to 'benchmarks/polybench-syn')
-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 |