Que fait distill ?
Extrayez une spécification Allium à partir d’une base de code existante. Utilisez-le lorsque l’utilisateur possède du code existant et souhaite distiller le comportement en une spécification, rétro-ingénierer une spécification à partir de l’implémentation, générer une spécification à partir du code, transformer l’implémentation en une spécification comportementale, ou documenter ce que fait une base de code en termes Allium.