Skip to content
Find file Blame History Permalink
  • Florent D'Halluin's avatar
    [benchmarks] Make aut_complete compatible with LAL. · 59139dd1
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.