Was macht propagate?
Erzeuge Tests aus Allium-Spezifikationen. Verwende dies, wenn der Benutzer Tests propagieren, Testdateien aus einer Spezifikation generieren, Tests für eine Spezifikation schreiben, eigenschaftsbasierte Tests erstellen, Zustandsmaschinentests produzieren, die Testabdeckung gegen Spezifikationsverpflichtungen prüfen oder verstehen möchte, welche Tests eine Spezifikation erfordert.