data/full_repos/permissive/143278/ivltests/sdf_del_typ.v
 line:6: before: ";"
1: b'%Error: data/full_repos/permissive/143278/ivltests/sdf_del_typ.v:21: Unsupported or unknown PLI call: $sdf_annotate\n    $sdf_annotate("ivltests/sdf_del.sdf", top);\n    ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/sdf_del_typ.v:22: Unsupported: Ignoring delay on this delayed statement.\n    #10;\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/sdf_del_typ.v:25: Unsupported: Ignoring delay on this delayed statement.\n    #10;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/sdf_del_typ.v:28: Unsupported: Ignoring delay on this delayed statement.\n    #10 if (pass) $display("PASSED");\n    ^\n%Error: Exiting due to 1 error(s), 3 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module top;
  reg a, pass;
  wire z;
  time edge_time;

  always @(z) begin
    if ((z === 0) && (($time - edge_time) != 3)) begin
      $display("Falling took %d, expected 3", $time - edge_time);
      pass = 1'b0;
    end
    if ((z === 1) && (($time - edge_time) != 2)) begin
      $display("Rising took %d, expected 2", $time - edge_time);
      pass = 1'b0;
    end
  end

  initial begin
    pass = 1'b1;
    $sdf_annotate("ivltests/sdf_del.sdf", top);
    #10;
    edge_time = $time;
    a = 1'b0;
    #10;
    edge_time = $time;
    a = 1'b1;
    #10 if (pass) $display("PASSED");
  end

  my_buf dut(z, a);
endmodule
module top;

  reg a, pass;
  wire z;
  time edge_time;

  always @(z) begin
    if ((z === 0) && (($time - edge_time) != 3)) begin
      $display("Falling took %d, expected 3", $time - edge_time);
      pass = 1'b0;
    end
    if ((z === 1) && (($time - edge_time) != 2)) begin
      $display("Rising took %d, expected 2", $time - edge_time);
      pass = 1'b0;
    end
  end

  initial begin
    pass = 1'b1;
    $sdf_annotate("ivltests/sdf_del.sdf", top);
    #10;
    edge_time = $time;
    a = 1'b0;
    #10;
    edge_time = $time;
    a = 1'b1;
    #10 if (pass) $display("PASSED");
  end

  my_buf dut(z, a);
endmodule