合金4 Int范圍

Question

去年，我使用了合金，然后可以設置Int位寬寫的范圍，例如“ 5 Int”，這實際上是以下答案所建議的： 在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中，它們都用於指定位寬。