data/full_repos/permissive/42434302/ivltests/pr530b.v
1: b'%Error: data/full_repos/permissive/42434302/ivltests/pr530b.v:5: Unsupported or unknown PLI call: $timeformat\n    $timeformat(-9,6,"ns",20);\n    ^~~~~~~~~~~\n%Error: Exiting due to 1 error(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module top;

  initial begin
    $timeformat(-9,6,"ns",20);
    $display("here");
    $display("in top, time: %t",$time);

    $finish;
  end

endmodule
module top;


  initial begin
    $timeformat(-9,6,"ns",20);
    $display("here");
    $display("in top, time: %t",$time);

    $finish;
  end

endmodule