data/full_repos/permissive/143278/ivltests/pr2428890b.v
[Errno 2] No such file or directory: 'preprocess.output'
data/verilator_xmls/5fae3bd7-146f-43bf-be44-d93ec05bb696.xml
module lower;
   parameter one = 1;
   parameter two = 2;
   parameter three = 0;
   parameter local1 = one - two;

   parameter local_lt0 = local1 < 0;
   parameter local_le0 = local1 <= 0;
   parameter local_gt0 = local1 > 0;
   parameter local_ge0 = local1 >= 0;
   parameter local_0lt = 0 < local1;
   parameter local_0le = 0 <= local1;
   parameter local_0gt = 0 > local1;
   parameter local_0ge = 0 >= local1;

   reg err;
   initial begin
      err = 0;
      if (!local_lt0) err = 1;
      if (!local_le0) err = 1;
      if ( local_gt0) err = 1;
      if ( local_ge0) err = 1;
      if ( local_0lt) err = 1;
      if ( local_0le) err = 1;
      if (!local_0gt) err = 1;
      if (!local_0ge) err = 1;

      if (err == 0) $display("PASSED");
      else $display("FAILED");
   end
endmodule
module lower;

   parameter one = 1;
   parameter two = 2;
   parameter three = 0;
   parameter local1 = one - two;

   parameter local_lt0 = local1 < 0;
   parameter local_le0 = local1 <= 0;
   parameter local_gt0 = local1 > 0;
   parameter local_ge0 = local1 >= 0;
   parameter local_0lt = 0 < local1;
   parameter local_0le = 0 <= local1;
   parameter local_0gt = 0 > local1;
   parameter local_0ge = 0 >= local1;

   reg err;
   initial begin
      err = 0;
      if (!local_lt0) err = 1;
      if (!local_le0) err = 1;
      if ( local_gt0) err = 1;
      if ( local_ge0) err = 1;
      if ( local_0lt) err = 1;
      if ( local_0le) err = 1;
      if (!local_0gt) err = 1;
      if (!local_0ge) err = 1;

      if (err == 0) $display("PASSED");
      else $display("FAILED");
   end
endmodule