iverilog/ivtest/ivltests/named_event_posedge_fail.v

// Check that posedge event controls can not be used with named events.

module test;

  event e;

  initial begin
    @(posedge e);
  end

endmodule