data/full_repos/permissive/143278/ivltests/pr1570635.v
 line:28: before: "$"
1: b'%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/pr1570635.v:23: Unsupported: Ignoring delay on this delayed statement.\n      #1;\n      ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/pr1570635.v:27: Unsupported: Ignoring delay on this delayed statement.\n      #1\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/pr1570635.v:41: Unsupported: Ignoring delay on this delayed statement.\n      #1\n      ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/pr1570635.v:55: Unsupported: Ignoring delay on this delayed statement.\n      #1\n      ^\n%Error: Exiting due to 4 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module test;

  reg [2:0] ptr;
  reg [2:0] size;
  reg [2:0] ptr_nxt;

  always @*
    begin
      ptr_nxt = ptr;

      if ( ptr + size > 3 )
        begin
          ptr_nxt = ptr + size - 3;
        end
      else
        begin
          ptr_nxt = 0;
        end
    end

  initial
    begin
      #1;

      ptr = 2;
      size = 2;
      #1
      $write("ptr_nxt=%0d  ptr=%0d  size=%0d", ptr_nxt, ptr, size);
      if ( ptr_nxt == 1 )
        begin
          $display("  OK");
        end
      else
        begin
          $display("  ERROR");
	  $finish;
        end

      ptr = 3;
      size = 4;
      #1
      $write("ptr_nxt=%0d  ptr=%0d  size=%0d", ptr_nxt, ptr, size);
      if ( ptr_nxt == 4 )
        begin
          $display("  OK");
        end
      else
        begin
          $display("  ERROR");
	  $finish;
        end

      ptr = 3;
      size = 5;
      #1
      $write("ptr_nxt=%0d  ptr=%0d  size=%0d", ptr_nxt, ptr, size);
      if ( ptr_nxt == 5 )
        begin
          $display("  OK");
        end
      else
        begin
          $display("  ERROR");
	  $finish;
        end

      $display("PASSED");
      $finish;

    end

endmodule
module test;


  reg [2:0] ptr;
  reg [2:0] size;
  reg [2:0] ptr_nxt;

  always @*
    begin
      ptr_nxt = ptr;

      if ( ptr + size > 3 )
        begin
          ptr_nxt = ptr + size - 3;
        end
      else
        begin
          ptr_nxt = 0;
        end
    end

  initial
    begin
      #1;

      ptr = 2;
      size = 2;
      #1
      $write("ptr_nxt=%0d  ptr=%0d  size=%0d", ptr_nxt, ptr, size);
      if ( ptr_nxt == 1 )
        begin
          $display("  OK");
        end
      else
        begin
          $display("  ERROR");
	  $finish;
        end

      ptr = 3;
      size = 4;
      #1
      $write("ptr_nxt=%0d  ptr=%0d  size=%0d", ptr_nxt, ptr, size);
      if ( ptr_nxt == 4 )
        begin
          $display("  OK");
        end
      else
        begin
          $display("  ERROR");
	  $finish;
        end

      ptr = 3;
      size = 5;
      #1
      $write("ptr_nxt=%0d  ptr=%0d  size=%0d", ptr_nxt, ptr, size);
      if ( ptr_nxt == 5 )
        begin
          $display("  OK");
        end
      else
        begin
          $display("  ERROR");
	  $finish;
        end

      $display("PASSED");
      $finish;

    end

endmodule