How Do You Configure Pex to Respect Code Contracts?
问题 Given the following example code, how can I configure Pex to respect my Code Contracts? 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); } Current Problem: When I run Pex, it's still generating test cases which violate the specified code contracts. FYI: Here are the 'Code Contracts' settings in my csproj file. EDIT: Did