verilator/test_regress/t/t_assert_elab.v

// DESCRIPTION: Verilator: Verilog Test module
//
// This file ONLY is placed into the Public Domain, for any use,
// without warranty, 2015 by Johan Bjork.
// SPDX-License-Identifier: CC0-1.0

module t;
   localparam STR = "string";
   function logic checkParameter(input logic [8:0] N);
      $info("For %m, x is %d.", N);
      if (N == 1)
        return 0;
      $fatal(1, "Parameter %d is invalid...%s and %s", N, STR, "constant both work");
   endfunction

`ifdef FAILING_ASSERTIONS
   localparam X = checkParameter(5);
`else
   localparam X = checkParameter(1);
`endif

   generate
      $info("%m: In generate");  // Issue 6445
   endgenerate

   initial begin
      $write("*-* All Finished *-*\n");
      $finish;
   end
endmodule