code-contracts - 代码契约(Contract)试图获取构建错误而不是警告

Question

我试图让 VS2010 Ultimate with Code Contracts 生成错误而不是警告。

我有这个简单的测试程序:

using System.Diagnostics.Contracts;

namespace MyError
{
  public class Program 
  {
     static void Main(string[] args)
     {
         Program prog = new Program();
         prog.Log(null);
     }

     public void Log(string msg)
     {
         Contract.Requires(msg != null);
     }
  }
}

它正确地确定存在违反契约(Contract)的情况:

C:\...\Program.cs(10,13): warning : CodeContracts: requires is false: msg != null

在我的 csproj 文件中有这个用于调试的属性字段:
TreatWarningsAsErrors > true
我还必须在项目设置中设置其他内容才能将这些转换为错误吗？

Answer 1

在这一点上，微软似乎选择不让这成为可能，但他们正在考虑 future :
http://connect.microsoft.com/VisualStudio/feedback/details/646880/code-contracts-dont-listen-to-treat-warnings-as-errors-setting