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

---
 benchmarks/polybench-syn/run-vericert.sh | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh
index b74b581..5cad133 100755
--- a/benchmarks/polybench-syn/run-vericert.sh
+++ b/benchmarks/polybench-syn/run-vericert.sh
@@ -10,19 +10,26 @@ while read benchmark ; do
    echo "C output: "$cresult
    { time ../../bin/vericert -DSYNTHESIS $@ --debug-hls $benchmark.c -o $benchmark.v ; } 2> $benchmark.comp
    iverilog -o $benchmark.iver -- $benchmark.v
-   ./$benchmark.iver > $benchmark.tmp
-   veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2)
+
+   timeout 10s ./$benchmark.iver > $benchmark.tmp
+   if [ $? -eq 124 ]; then
+      timeout=1
+   else
+      veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2)
+   fi
    cycles=$(tail -4 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f3)
    ctime=$(cat $benchmark.comp | head -2 | tail -1 | xargs | cut -d' ' -f2 | cut -d'm' -f2 | sed 's/s//g')
    echo "Veri output: "$veriresult
 
-   if [ -z $veriresult ]; then
+   if [ -n "$timeout" ]; then
+      echo "FAIL: Verilog timed out"
+   elif [ -z "$veriresult" ]; then
       #Undefined
       echo "FAIL: Verilog returned nothing"
-   elif [ $veriresult == "x" ]; then
+   elif [ "$veriresult" == "x" ]; then
       # Don't care
       echo "FAIL: Verilog returned don't cares"
-   elif [ $cresult -ne $veriresult ]; then
+   elif [ "$cresult" -ne "$veriresult" ]; then
       # unequal result
       echo "FAIL: Verilog and C output do not match!"
    else
-- 
cgit