合金4 Int范围

Question

去年我使用合金，我可以设置Int位宽写入的范围，例如，  “5 Int” 正如以下答案所确实的那样： run command scope in alloy

但是，我今年再次下载了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中它们都用于指定位宽。