0

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

4

1 回答 1

1

只需说出您的“期望”，并将其设置为断言。不幸的是，Alloy 目前没有读心命令 :-)

于 2017-03-24T14:49:24.300 回答