合金4詮釋範圍

Question

去年我用合金和我可以設置詮釋位寬寫作，例如， 「5內部」的範圍 如通過以下的答案確實建議： run command scope in 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

在合金4.1.1中，只需將Int更改爲int，即可使用。在Alloy 4.2中，您可以使用其中一種，因爲在4.2中它們都用於指定位寬。