Merge branch 'dev-experiments'

1 files changed, 5 insertions, 4 deletions

diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh
index 3be6098..469fef1 100755
--- a/benchmarks/polybench-syn/run-vericert.sh
+++ b/benchmarks/polybench-syn/run-vericert.sh
@@ -5,14 +5,15 @@ top=$(pwd)
 while read benchmark ; do
    echo "Running "$benchmark
    clang -Wall -Werror -fsanitize=undefined $benchmark.c -o $benchmark.o
-   ./$benchmark.o
-   cresult=$(echo $?)
+   ./$benchmark.o > $benchmark.clog
+   cresult=$(cat $benchmark.clog | cut -d' ' -f2)
    echo "C output: "$cresult
-   ../../bin/vericert -O0 -finline --debug-hls $benchmark.c -o $benchmark.v
+   { time ../../bin/vericert -DSYNTHESIS -O0 -finline --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)
    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
   
    #Undefined checks
@@ -38,5 +39,5 @@ while read benchmark ; do
    echo "PASS"
    fi
    name=$(echo $benchmark | awk -v FS="/" '{print $NF}')
-   echo $name","$cycles >> exec.csv 
+   echo $name","$cycles","$ctime >> exec.csv 
 done < benchmark-list-master