Commit 3e42010e authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: update benchmark filenames

* benchs/run-benchmark.sh: Here.
parent ce43d7bb
......@@ -25,22 +25,22 @@
# category "Sequential Reachability Problems/data structures, hard" since
# they require complex array manipulation that are not yet supported by
# the Go2Pins tool.
FILES="RERS/2016-Problem10.go \
RERS/2016-Problem11.go \
RERS/2016-Problem12.go \
RERS/2016-Problem14.go \
RERS/2016-Problem15.go \
RERS/2017-Problem10.go \
RERS/2017-Problem11.go \
RERS/2017-Problem12.go \
RERS/2017-Problem14.go \
RERS/2017-Problem15.go \
RERS/2018-Problem10.go \
RERS/2018-Problem11.go \
RERS/2019-Problem11.go \
RERS/2019-Problem12.go \
RERS/2019-Problem14.go \
RERS/2019-Problem15.go "
FILES="RERS/2016-Problem10-reach.go \
RERS/2016-Problem11-reach.go \
RERS/2016-Problem12-reach.go \
RERS/2016-Problem14-reach.go \
RERS/2016-Problem15-reach.go \
RERS/2017-Problem10-reach.go \
RERS/2017-Problem11-reach.go \
RERS/2017-Problem12-reach.go \
RERS/2017-Problem14-reach.go \
RERS/2017-Problem15-reach.go \
RERS/2018-Problem10-reach.go \
RERS/2018-Problem11-reach.go \
RERS/2019-Problem11-reach.go \
RERS/2019-Problem12-reach.go \
RERS/2019-Problem14-reach.go \
RERS/2019-Problem15-reach.go "
OUTPUT=benchs.csv
OUTPUT_BB=benchs-bb.csv
......@@ -101,7 +101,7 @@ NB_FUN=$(cat sqrt_prime_fibo.go | grep compute_main | grep -v func | wc -l)
echo "###########################"
echo "==> Benchmark for BlackBox."
echo "###########################"
echo
echo
echo "#######################################################################"
echo "# /!\ Note that some of these tests require huge amount of memory /!\ #"
echo "# - 90% BlackBox: 1.31 sec / 115168 kbytes # "
......@@ -147,4 +147,3 @@ done
echo
echo file : $(pwd)/$OUTPUT_BB contains the CSV of blackbox evaluation
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