data/full_repos/permissive/143278/ivltests/pr2051694.v
1: b"%Error: data/full_repos/permissive/143278/ivltests/pr2051694.v:3: Can't find definition of variable: 'unknown'\nalways @* x = {unknown, 1'b0};\n               ^~~~~~~\n%Error: Exiting due to 1 error(s)\n"
module test_unknown_in_always_star;
reg [2:0] x;
always @* x = {unknown, 1'b0};
endmodule
module test_unknown_in_always_star;

reg [2:0] x;
always @* x = {unknown, 1'b0};
endmodule