所以我试图用Code Contracts运行一些简单的代码（我已经有一段时间没用了）
static void Main(string[] args)
{
double res = sqrt(-5);
}
static double sqrt(int a)
{
Contract.Requires(a >= 0, "a must be >= 0!");
return Math.Sqrt(a);
}
但是当我运行它时它似乎根本没有做任何事情。从几个月前我记得的情况来看，它应该引发一个关于a小于0的错误。
我重新安装了代码合同网站的学术版本只是为了安全，但这似乎仍然无法正常工作。使代码合同生效所需的步骤是什么？
编辑：Resharper在Contract.Requires(a >= 0);告诉我该方法被跳过，因为它是“有条件的或没有实现的部分方法”。
由于