data/full_repos/permissive/143278/ivltests/integer3gt.v
data/verilator_xmls/3722e1a9-4830-437f-869c-7ca203c73aa9.xml
module integer3gt;

   integer a;
   integer b;
   reg	   error;

   initial begin
      error = 0;

      a = 1;
      if(a > 2) begin
	 $display("FAILED 1 > 2");
	 error = 1;
      end

      a = 2;
      if(a > 2) begin
	 $display("FAILED 2 > 2");
	 error = 1;
      end

      a = 3;
      if(a > 2) begin
	 b = 1;
      end else begin
	 $display("FAILED 3 > 2");
	 error = 1;
      end


      b = 0;
      for(a = 10; a > 5; a = a - 1) begin
	 b = b + a;
      end

      if(b != 40) begin
	 $display("FAILED forloop b=%d expected 40", b);
	 error = 1;
      end

      if(error == 0)
	 $display("PASSED");
      $finish;

   end

endmodule
module integer3gt;


   integer a;
   integer b;
   reg	   error;

   initial begin
      error = 0;

      a = 1;
      if(a > 2) begin
	 $display("FAILED 1 > 2");
	 error = 1;
      end

      a = 2;
      if(a > 2) begin
	 $display("FAILED 2 > 2");
	 error = 1;
      end

      a = 3;
      if(a > 2) begin
	 b = 1;
      end else begin
	 $display("FAILED 3 > 2");
	 error = 1;
      end


      b = 0;
      for(a = 10; a > 5; a = a - 1) begin
	 b = b + a;
      end

      if(b != 40) begin
	 $display("FAILED forloop b=%d expected 40", b);
	 error = 1;
      end

      if(error == 0)
	 $display("PASSED");
      $finish;

   end

endmodule