Pass test case for Automaton