相关疑难解决方法(0)

鉴于以下示例代码,我如何配置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时,它仍然会生成违反指定代码契约的测试用例.

仅供参考:以下是我的csproj文件中的"代码合同"设置.

编辑:在SP1中有什么破坏？