У меня есть контракты кода, работающие нормально из Visual Studio 2010, но я не могу получитьccrewrite.exe сделать что-нибудь полезное из командной строки. Вот пример приложения:

using System.Diagnostics.Contracts;

public class Dummy
{
    public static void Main(string[] args)
    {
        Contract.Requires(args.Length > 0);
    }
}

Затем я компилирую код и запускаю на нем ccrewrite.exe:

> csc /debug+ /D:CONTRACTS_FULL Dummy.cs

> ccrewrite /o:RewrittenDummy.exe Dummy.exe
elapsed time: 61ms

Там нетRewrittenDummy.exe файл потом.

Я перепробовал множество вариантов, но ничего не изменилось. Несколько вещей, которые я заметил:

It's definitely loading Dummy.exe, because if I specify a non-existent file, it dies Dummy.exe definitely contains references to Contract - if I run it with no arguments, it fails appropriately (but the error message hasn't been filled in as I'd expect if it had been rewritten) Using postconditions and invariants makes no difference

Я пытался включить предупреждения и многословие, и это совсем не помогает Что я делаю неправильно?

(Также спросили каквопрос в форуме Code Contracts, Я сам добавлю сюда любые соответствующие ответы.)