public string GetCommand([PexAssumeUnderTest] Salon target, int id) { string result = target.GetCommand(id); return(result); // TODO: add assertions to method SalonTest.GetCommand(Salon, Int32) }