Commit 835ef0b6 authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: avoid go build caching for benchmark

* run-benchmark.sh: Here.
parent a6949705
......@@ -43,6 +43,7 @@ FILES="RERS/2016-Problem10.go \
RERS/2019-Problem15.go "
OUTPUT=benchs.csv
GOCACHE=$(go env | grep CACHE | sed 's/GOCACHE="//g' | sed 's/"//g')
echo "#filename,loc,transpile_time,compile_time,total_time,final_num_var,final_loc" > $OUTPUT
......@@ -63,6 +64,7 @@ for model in $FILES; do
transpile_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
echo " - Go2Pins processing:\t\t$transpile_time seconds"
rm -Rf $COCACHE
start=$(date +%s.%N)
make -C $filename > /dev/null 2>&1
end=$(date +%s.%N)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment