data/full_repos/permissive/42434302/ivltests/pr1634526.v
data/verilator_xmls/dfafc9fe-cd85-41e5-987c-7c78f24d1795.xml
module test;
  initial begin
    $display("Working: This (%0d) should be 255.", minus1(256));

     $display("Broken:  This (%0d) should be 255", minus1(2**8));

     $display("Broken:  This (%0d) should be 255.", minus1(2**8-1+1));
     $display("         started with %0d.", 2**8-1+1);
    $finish;
  end

  function integer minus1;
    input value;
    integer value;
    minus1 = value - 1;
  endfunction
endmodule
module test;

  initial begin
    $display("Working: This (%0d) should be 255.", minus1(256));

     $display("Broken:  This (%0d) should be 255", minus1(2**8));

     $display("Broken:  This (%0d) should be 255.", minus1(2**8-1+1));
     $display("         started with %0d.", 2**8-1+1);
    $finish;
  end

  function integer minus1;
    input value;
    integer value;
    minus1 = value - 1;
  endfunction
endmodule