data/full_repos/permissive/143278/ivltests/pr3366217c.v
 line:3: before: "{"
1: b'%Error: data/full_repos/permissive/143278/ivltests/pr3366217c.v:3: Enum value illegally wrapped around (IEEE 1800-2017 6.19)\n                                                                 : ... In instance top\n  enum bit[1:0] {a = 3, b , c} val;\n                        ^\n%Error: Exiting due to 1 error(s)\n'
module top;

  enum bit[1:0] {a = 3, b , c} val;

  initial $display("FAILED");
endmodule
module top;


  enum bit[1:0] {a = 3, b , c} val;

  initial $display("FAILED");
endmodule