Итак, я пытался запустить какой-то простой код с контрактами кода (который я не использовал в течение некоторого времени)
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.
Я переустанавливал версию Academic с сайта Code Contracts, чтобы быть в безопасности, но это все еще не работает. Какие шаги необходимо предпринять, чтобы кодовые контракты работали?
РЕДАКТИРОВАТЬ: Resharper сообщает мне на Contract.Requires(a >= 0);, что метод пропускается, так как это «условный или частичный метод без реализации».
Спасибо