Test coverage for Verify