diff --git a/tests/correctness/par.futil b/tests/correctness/par.futil index 1f71a5e15..a3dd68b00 100644 --- a/tests/correctness/par.futil +++ b/tests/correctness/par.futil @@ -9,21 +9,21 @@ component main() -> () { } wires { - group wr_a { + group wr_a<"static"=1> { a.addr0 = 1'b0; a.write_en = 1'b1; a.write_data = 32'd1; wr_a[done] = a.done; } - group wr_b { + group wr_b<"static"=1> { b.addr0 = 1'b0; b.write_en = 1'b1; b.write_data = 32'd1; wr_b[done] = b.done; } - group wr_c { + group wr_c<"static"=1> { c.addr0 = 1'b0; c.write_en = 1'b1; c.write_data = 32'd1;