Testing SetCoverage