verifyWithCoverage/