【发布时间】：2023-06-19 13:16:02
【问题描述】：
我目前正在使用 Alloy 中的谓词。我知道我可以使用assert 和check 语句来确认我的模型是否正常工作。但是，有什么方法可以检查我创建的谓词是否达到了我的预期？还是我只需要显示实例并手动搜索它们？
【问题讨论】：
标签： predicate alloy predicates
【发布时间】：2023-06-19 13:16:02
【问题描述】：
只需说出您“期望”的内容，并将其设置为断言。不幸的是，Alloy 目前没有读心命令:-)
【讨论】：
-
感谢您的回答，现在有意义了！