Alloy - 检查谓词是否正确？

Question

我目前正在研究 Alloy 中的谓词。我知道我可以使用 assert 和 check 语句来确认我的模型是否正常工作。但是，有什么方法可以检查我创建的谓词是否达到了我的预期？还是我只需要显示实例并手动搜索它们？

Answer 1

只需说出您"expect"，然后将其设置为断言。不幸的是，Alloy目前没有读心术命令:-)