public int GetDistrictTest([PexAssumeUnderTest] BusinessPlayer target, string input)
{
int result = target.GetDistrict(input);
return(result);
// TODO: add assertions to method BusinessPlayerTest.GetDistrictTest(BusinessPlayer, String)
}