filter: adjust `"auto"`
This is not nice:
$ v score -O lightest
0.76s : a.lightest(5, "auto") # a = std([a-e]?{150}), c = [a-e] -> Nmin, 10x
1.16s : a.lightest(5, "yen") # a = std([a-e]?{150}), c = [a-e] -> Nmin, 500x
0.51s : a.lightest() # a = std([a-e]?{150}), c = [a-e] -> Nmin, 500x
0.35s : a.lightest(5000) # a = derived_term((\e|x + a|\e)*), c = [a]?x[x]? -> Q, 10x
0.28s : a.lightest_automaton(1, "a-star") # a = std([a-e]?{150}), c = [a-e] -> Nmin, 20x
0.75s : a.lightest_automaton(1, "bellman-ford") # a = std([a-e]?{150}), c = [a-e] -> Nmin
0.54s : a.lightest_automaton(1, "dijkstra") # a = std([a-e]?{150}), c = [a-e] -> Nmin, 500x
"auto" should always be the best choice. For lightest
, it is not. And lightest_automaton
should also support "auto"
, being the default. Please, check that it does.