Cómo se configura Pex para respetar los contratos de código?
Dado el siguiente código de ejemplo, ¿cómo puedo configurar Pex para respetar mis contratos de código?
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);
}
Problema actual: cuando ejecuto Pex, sigue generando casos de prueba que violan los contratos de código especificados.
FYI:Aquí están las configuraciones de 'Código de contratos' en mi archivo csproj.
EDITAR Hizo algobreak en SP1?