Added new automaton regression tests
1 file changed