Added new regression tests for automata
1 file changed