Commit 31b17fcd authored by Florent D'Halluin's avatar Florent D'Halluin Committed by Alexandre Duret-Lutz
Browse files

Fix composition bench.

* src/bench/composition/normalized_composition_bench.hh,
* src/bench/composition/rw_composition_bench.hh:
Add missing CBS parameter (n).
parent 90a97dde
2009-04-30 d-halluin <d-halluin@lrde.epita.fr>
Fix composition bench.
* src/bench/composition/normalized_composition_bench.hh,
* src/bench/composition/rw_composition_bench.hh:
Add missing CBS parameter (n).
2009-04-30 d-halluin <d-halluin@lrde.epita.fr>
 
Fix quotient bench automaton.
......
......@@ -180,6 +180,7 @@ void normalized_composition_bench(int n_value)
BENCH_STOP();
// Set extra parameters/results
BENCH_PARAMETER("n", (long) n_value);
BENCH_RESULT("sub left states", (long) sub_left_auto.states().size());
BENCH_RESULT("sub left transitions",
(long) sub_left_auto.transitions().size());
......
......@@ -146,6 +146,7 @@ void rw_composition_bench(int n_value)
BENCH_STOP();
// Set extra parameters/results
BENCH_PARAMETER("n", (long) n_value);
BENCH_RESULT("left states", (long) left_auto.states().size());
BENCH_RESULT("left transitions", (long) left_auto.transitions().size());
BENCH_RESULT("right states", (long) right_auto.states().size());
......
Supports Markdown
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