SetCoverage and SetCoverageTest implemented