data/full_repos/permissive/143278/ivltests/pr860.v
data/verilator_xmls/faf7a135-e9e2-4790-a06e-42d3c320ad4a.xml
module stam () ;

   parameter WIDTH_IN = 8;
   parameter ABS = 0;
   parameter M = (!ABS) ? 7 : WIDTH_IN;

   parameter AFTER_DC_WIDTH = M;

   initial begin
      $display("AFTER_DC_WIDTH=%d", AFTER_DC_WIDTH);
      if (AFTER_DC_WIDTH !== 7) begin
	 $display("FAILED -- M = %d", M);
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module stam () ;


   parameter WIDTH_IN = 8;
   parameter ABS = 0;
   parameter M = (!ABS) ? 7 : WIDTH_IN;

   parameter AFTER_DC_WIDTH = M;

   initial begin
      $display("AFTER_DC_WIDTH=%d", AFTER_DC_WIDTH);
      if (AFTER_DC_WIDTH !== 7) begin
	 $display("FAILED -- M = %d", M);
	 $finish;
      end

      $display("PASSED");
   end

endmodule