automata-labs-tests