¿Qué hace propagate?
Genera pruebas a partir de especificaciones Allium. Úsalo cuando el usuario quiera propagar pruebas, generar archivos de prueba desde una especificación, escribir pruebas para una especificación, crear pruebas basadas en propiedades, producir pruebas de máquina de estados, verificar la cobertura de pruebas contra obligaciones de especificaciones o comprender qué pruebas requiere una especificación.