Commit 0353bde0 authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: reset golang cache

* benchs/run-benchmark.sh: Here.
parent 3e42010e
......@@ -44,7 +44,8 @@ FILES="RERS/2016-Problem10-reach.go \
OUTPUT=benchs.csv
OUTPUT_BB=benchs-bb.csv
GOCACHE=$(go env | grep CACHE | sed 's/GOCACHE="//g' | sed 's/"//g')
echo "##################################"
echo "==> Benchmark for Compilation time"
......@@ -53,6 +54,9 @@ echo
echo "#filename,loc,transpile_time,compile_time,total_time,final_num_var,final_loc" > $OUTPUT
# Clean cache to have relevant times.
go clean -cache
for model in $FILES; do
echo -e "==> Processing $model"
loc=$(wc -l $model| awk '{print $1}')
......
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