data/full_repos/permissive/143278/ivltests/real.v
 line:25: before: ";"
data/verilator_xmls/3ae863d7-319e-46f5-9c89-217da10d34e5.xml
module main;

   realtime x;
   real a3, a4;

   initial begin
      a3 = 0.3;
      a4 = 0.4;

      x = 2 * a4 + a3;

      $display("a3 = %f, a4 = %f, x = %f", a3, a4, x);
      if (x > 1.1001) begin
	 $display("FAILED");
	 $finish;
      end
      if (x < 1.0999) begin
	 $display("FAILED");
	 $finish;
      end

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


   realtime x;
   real a3, a4;

   initial begin
      a3 = 0.3;
      a4 = 0.4;

      x = 2 * a4 + a3;

      $display("a3 = %f, a4 = %f, x = %f", a3, a4, x);
      if (x > 1.1001) begin
	 $display("FAILED");
	 $finish;
      end
      if (x < 1.0999) begin
	 $display("FAILED");
	 $finish;
      end

      $display("PASSED");
   end
endmodule