Commit a2c874b4 authored by Etienne Renault's avatar Etienne Renault

benchs: add missing numbering

* benchs/run-benchmark.sh: Here.
parent b9f2a12f
Pipeline #24562 passed with stage
in 2 minutes and 9 seconds
......@@ -95,6 +95,7 @@ for model in $LTLFILES; do
../go2pins -f -o $filename -rers "$rers_inputs" $model > /dev/null 2>&1
done
i=0
for model in $LTLFILES; do
echo -e "==> Processing $model"
......
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