Commit 11416c8c authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: modify percents

* benchs/run-benchmark.sh: Here.
parent 1111b309
......@@ -101,7 +101,7 @@ echo
echo "bb-percent,states,transitions" > $OUTPUT_BB
for i in 90 90; do
for i in 90 80 70 60 50 40 30 20 10; do
PERCENT=$i
model=sqrt_prime_fibo.go
echo "==> Processing file 'sqrt_prime_fibo.go' with $PERCENT% BlackBox"
......
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