yosys/tests/verilog/sva-in-case-expr.ys

read_verilog -sv <<EOT
module test(input wire A);
  localparam TEST = 1;
  always_comb begin
    case (A)
      TEST: assert(1);
    endcase
  end
endmodule
EOT