bring together the coverage related bits in migration specs