data/full_repos/permissive/143278/ivltests/cmdline_parm1.v
data/verilator_xmls/12c71b31-a37a-45ae-81b2-66eb1796140b.xml
module main;

   parameter foo = 1;

   initial begin
      if (foo != 2) begin
	 $display("FAILED: %m.foo = %d", foo);
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module main;


   parameter foo = 1;

   initial begin
      if (foo != 2) begin
	 $display("FAILED: %m.foo = %d", foo);
	 $finish;
      end

      $display("PASSED");
   end

endmodule