alloy - 合金 4 Int スコープ

Question

昨年、私は合金を使用し、次の回答で実際に示唆されているように、「5 Int」などの 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 では、ビット幅を指定するために両方が使用されるため、どちらか一方を使用できます。