invalid covers annotation in test