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 my_buf (output z, input a);
  buf (z, a);
  specify
    (a => z) = (0, 0);
  endspecify
endmodule
module my_buf (output z, input a);

  buf (z, a);
  specify
    (a => z) = (0, 0);
  endspecify
endmodule