どのようになることをここに宣言しますリストの固定長にspecman?

Question

E(specmanって行くことを宣言する変数をリストして大事にしていきたいと思い修正その長さのものがある。

やすいのstruct:

thread[2] : list of thread_t;

ながら、"通常の"変数関数のエラーになっていないようなもの:

var warned : list of bool;
gen warned keeping {
    it.size() == 5;
};

がより良い方法を宣言するのにリストの固定の大きさはどれくらいですか？

Answer 1

ハいては固定サイズで初期化が要素はまだまだ十分とはいえませんが追加されまたは下降しようとしていませ防こですか？みんなを保証する要素がなされた後、発光、イベントで、紙のサイズ!= 所定の金額:

event list_size_changed is true (wanted.size() != 5) @clk;

どのようにできるのは統語砂糖のく:

var warned : list of bool;
keep warned.size() == 5;

Answer 2

私は何も知らないのspecmanが固定サイズのリストは、"配列"という点でどこかということです。