data/full_repos/permissive/42434302/ivltests/pr987.v
1: b'%Error: data/full_repos/permissive/42434302/ivltests/pr987.v:12: Unsupported: wait statements\n      wait (0);\n      ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr987.v:17: Unsupported: Ignoring delay on this delayed statement.\n      #10 disable restartable;\n      ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr987.v:18: Unsupported: Ignoring delay on this delayed statement.\n      #10 $finish;\n      ^\n%Error: Exiting due to 1 error(s), 2 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module main;

   always begin :restartable
      $display("Test thread runs.");
      wait (0);
      $display("FAILED: Should never get here.");
   end

   initial begin
      #10 disable restartable;
      #10 $finish;
   end

endmodule
module main;


   always begin :restartable
      $display("Test thread runs.");
      wait (0);
      $display("FAILED: Should never get here.");
   end

   initial begin
      #10 disable restartable;
      #10 $finish;
   end

endmodule