Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我目前正在使用 Alloy 中的谓词。我知道我可以使用assertandcheck语句来确认我的模型正在正常工作。但是,有什么方法可以检查我创建的谓词是否达到了我的预期?还是我只需要显示实例并手动搜索它们?
assert
check
只需说出您的“期望”,并将其设置为断言。不幸的是,Alloy 目前没有读心命令 :-)