0

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?

LEJ
  • 1,868
  • 4
  • 16
  • 24

1 Answers1

1

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

Daniel Jackson
  • 2,738
  • 12
  • 5