alloy - 合金 4 内部范围

Question

去年我使用了合金，我可以设置 Int 位宽写入的范围，例如“5 Int”，正如以下答案所建议的那样： 在合金中运行命令范围

但是，我今年再次下载了Alloy 4.1.1，如果我写了

sig Bar{ a:Int}

run{} for 10 Int

我现在得到

Syntax error at line 3 column 11:
You can no longer set a scope on Int; the number of Int
atoms is always exactly equal to 2^(integer bitwidth).

有什么改变？我应该如何设置位宽？

Answer 1

在 Alloy 4.1.1 中，只需更改Int为int，就可以了。在 Alloy 4.2 中，您可以使用其中任何一个，因为在 4.2 中，它们都用于指定位宽。