diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 18:41:14 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 18:41:14 +0000 |
| commit | a77b033fb57cdb9571a8cfd0aba2164437d57662 (patch) | |
| tree | d48174818c1f78e1622209d8dc07e9171ce4490b /benchmarks | |
| parent | d22a4b4d41a19cae7ff8f28130b8a0c471adce8a (diff) | |
| download | vericert-a77b033fb57cdb9571a8cfd0aba2164437d57662.tar.gz vericert-a77b033fb57cdb9571a8cfd0aba2164437d57662.zip | |
Increase polybench runner timeout
Diffstat (limited to 'benchmarks')
| -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 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 |