无法将代码合同发送到 XML 文档文件中

Cant Emit Code Contracts into XML doc file

代码合同版本:1.9.10714.2

当我尝试 "Emit contracts into XML doc file" 时收到此错误(见图)。

需要明确的是,错误仅在勾选复选框时发生(见图)。

感谢 Matthew Watson 下载 1.10.20606.1 将停止此错误 (https://github.com/Microsoft/CodeContracts/releases/tag/v1.10.20606.1)。

vs(https://marketplace.visualstudio.com/items?itemName=RiSEResearchinSoftwareEngineering.CodeContractsforNET)中的当前版本(1.9.10714.2)有错误。