data/full_repos/permissive/143278/ivltests/pr678.v
data/verilator_xmls/641194ff-3375-44bb-9edd-30ae0a9b40e3.xml
module main;

   real foo;
   real bar;

   initial begin
      foo = 1.0;
      bar = 1.2;

      if (foo >= bar) begin
	 $display("FAILED -- foo < bar?");
	 $finish;
      end

      if (foo >= 1.2) begin
	 $display("FAILED -- foo < 1.2?");
	 $finish;
      end

      if (1.0 >= 1.2) begin
	 $display("FAILED -- 1.0 < 1.2?");
	 $finish;
      end

      if (1 >= 1.2) begin
	 $display("FAILED -- 1 < 1.2?");
	 $finish;
      end

      if (foo > bar) begin
	 $display("FAILED -- foo < bar?");
	 $finish;
      end

      if (foo > 1.2) begin
	 $display("FAILED -- foo < 1.2?");
	 $finish;
      end

      if (1.0 > 1.2) begin
	 $display("FAILED -- 1.0 < 1.2?");
	 $finish;
      end

      if (1 > 1.2) begin
	 $display("FAILED -- 1 < 1.2?");
	 $finish;
      end

      $display("PASSED");
   end
endmodule
module main;


   real foo;
   real bar;

   initial begin
      foo = 1.0;
      bar = 1.2;

      if (foo >= bar) begin
	 $display("FAILED -- foo < bar?");
	 $finish;
      end

      if (foo >= 1.2) begin
	 $display("FAILED -- foo < 1.2?");
	 $finish;
      end

      if (1.0 >= 1.2) begin
	 $display("FAILED -- 1.0 < 1.2?");
	 $finish;
      end

      if (1 >= 1.2) begin
	 $display("FAILED -- 1 < 1.2?");
	 $finish;
      end

      if (foo > bar) begin
	 $display("FAILED -- foo < bar?");
	 $finish;
      end

      if (foo > 1.2) begin
	 $display("FAILED -- foo < 1.2?");
	 $finish;
      end

      if (1.0 > 1.2) begin
	 $display("FAILED -- 1.0 < 1.2?");
	 $finish;
      end

      if (1 > 1.2) begin
	 $display("FAILED -- 1 < 1.2?");
	 $finish;
      end

      $display("PASSED");
   end
endmodule