что, я думаю, может быть полезным, если «Требуется», которого вы хотите, чтобы Пекс уважал, глубже в дереве вызовов.
вая следующий пример кода, как я могу настроить Pex для соблюдения моих контрактов кода?
public static IEnumerable<User> Administrators(this UserGroup userGroup)
{
Contract.Requires(userGroup != null);
Contract.Requires(userGroup.UserList != null);
return userGroup.UserList.Where(ul => ul.IsAdmin == true);
}
Текущая проблема: когда я запускаю Pex, он все еще генерирует тестовые случаи, которые нарушают указанные кодовые контракты.
FYI:Вот настройки «Кодовых контрактов» в моем файле csproj.
РЕДАКТИРОВАТЬ: Сделал что-топерерыв в SP1?