Move Options.coverage
to ProjectWorkspace.collectCoverage
#5929
+19
−8
Options.coverage
to ProjectWorkspace.collectCoverage
#5929