合金 - 检查谓词是否正确？

Question

我目前在使用Alloy中的谓词。我知道我可以使用assert和check语句来确认我的模型是否正常工作。但是，有没有办法检查我创建的谓词是否完成了我的预期？或者我只需要显示实例并手动搜索它们吗？

Answer 1

只要说出你所期待的＆＃34;，并将其设置为断言。不幸的是，Alloy目前没有思维阅读命令： - ）