Commit 65626262 authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: add missing blackbox

* benchs/run-benchmark.sh: Here.
parent 2ded9958
......@@ -103,7 +103,7 @@ echo
echo "bb-percent,states,transitions" > $OUTPUT_BB
for i in 90 80 70 60 50 40 30 20 10; do
for i in 90 80 70 60 50 40 30 20 10 0; 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