CODEWITHSUNDEEP
predicatealloypredicates
LEJ
LEJ

Reputation: 1958

Alloy - Check predicate is correct?

I'm currently playing around with predicates in Alloy. I know that I can use assert and check statements to confirm that my model is working as it should. However, is there any way to check that a predicate I have created has done what I expect? Or do I just have to show the instances and search through them manually?

Upvotes: 0

Views: 277

Answers (1)

Daniel Jackson
Daniel Jackson

Reputation: 2768

Just say what you "expect", and set it up as an assertion. Unfortunately, Alloy does not currently have a mind-reading command :-)

Upvotes: 1

Related Questions