Как включить контракты в C #?

Question

Я пытался включить контракты в свой проект, что-то вроде:

    public Segment Bounds() {
        Contract.Ensures(segments.Length > 0, "Segments are not empty");
        return new Segment(segments[0].a, segments.Last().b);
    }

Я получаю сообщение об ошибке (отображается как окно сообщения), которое говорит мне, что я должен установить CCRewrite.Я получил здесь , установлен, но вкладка «Контракты» в настройках проекта не появилась, и я продолжаю получать ту же ошибку.Я пользуюсь Visual Studio 2017 Community.Можно ли использовать контракты с этой версией Visual Studio?

Answer 1

Из проекта CodeContract wiki :

Visual Studio 2013 - единственная версия, которая поддерживается в качестве среды сборки для Code Contracts.

Как указано в комментарии ОП, дополнительную информацию можно найти в следующем выпуске :

У меня та же проблема, я готов поспоритьна CC для некоторых крупных проектов.Как бы мне это ни нравилось и не хватало, я думаю, что всем стоит серьезно подумать о том, чтобы вытащить их из своей базы кода раньше, чем позже.Там просто недостаточно приверженности со стороны MS или волонтеров (я не виню их, всегда было ясно, что это неподдерживаемая технология).- chrisaut

Мой вывод (в соответствии с комментарием @ HansPassant) заключается в том, что проект закрыт.