O que propagate faz?
Gere testes a partir de especificações Allium. Use quando o usuário quiser propagar testes, gerar arquivos de teste a partir de uma especificação, escrever testes para uma especificação, criar testes baseados em propriedades, produzir testes de máquina de estado, verificar cobertura de teste em relação às obrigações da especificação ou entender quais testes uma especificação exige.