-
Florent D'Halluin authored
Label transitions with 'a' instead of epsilon. * src/bench/common/bench_constructs.hh: Enable aut_complete, Use add_transition instead of add_spontaneous. * src/bench/common/README_AUTOMATA, * src/bench/accessible/accessible_bench.hh: Update description.
59139dd1