Contractsccrwrite.rsp以代码1 ERROR退出

Question

运行我的控制台应用程序时遇到了令人沮丧的问题。 我试图使用Code契约对我的程序进行编码。让我告诉我，我已经安装了代码合同的附加组件，而我正在使用Vs2013。 运行程序时，我收到以下错误：

  

严重级代码说明项目文件行错误

     

命令“”C：\ Program Files \ Microsoft \ Contracts \ Bin \ ccrewrite.exe“”@ Type   验证和Contractsccrewrite.rsp“”退出代码1.Type   验证和合同

我已经浏览了很多互联网并修改了更改，但错误并没有留给我。 我在方法的开头使用了Contracts.Requires语句。 我想分享我对项目属性

所做的更改

而且我已将Contract reference Assembly菜单设置为'none'。如果我将其更改为'Build'。我会在替换上面时出现另一个错误

  

严重级代码说明项目文件行错误

     

命令“”C：\ Program Files \ Microsoft \ Contracts \ Bin \ ccrefgen.exe“   “@obj \ Debug \ Type Validation and Contractsccrefgen.rsp”“退出了   代码1.键入验证和合同