coverage_pragma syntax diagram description.
coverage_pragma =
PRAGMA COVERAGE ( coverage_pragma_argument);