Alliage - Vérifier que le prédicat est correct?

Question

Je joue actuellement avec des prédicats dans Alloy. Je sais que je peux utiliser les instructions assert et check pour confirmer que mon modèle fonctionne comme il se doit. Cependant, y a-t-il un moyen de vérifier qu'un prédicat que j'ai créé a fait ce que j'attendais? Ou dois-je simplement montrer les instances et les rechercher manuellement?

Answer 1

Dites simplement ce que vous "attendez" et configurez-le comme une assertion. Malheureusement, Alloy n'a pas actuellement une commande de lecture d'esprit :-)