为什么 ccrewrite.exe 不从命令行执行任何操作？

Question

我的代码契约在 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

之后就没有 RewritingDummy.exe 文件了。

我尝试了很多选择，但没有任何区别。 我注意到的一些事情：

• 它肯定会加载 Dummy.exe，因为如果我指定一个不存在的文件，它就会死亡
• Dummy.exe 肯定包含对 Contract 的引用 - 如果我不带参数运行它，它会相应地失败（但是错误消息尚未按照我预期的方式填写（如果已重写）
• 使用后置条件和不变量没有任何区别

我尝试过将警告和详细程度调高，但这根本没有帮助 我究竟做错了什么？

（也作为问题提出代码契约论坛。我将自己在此处添加任何相关答案。）

Answer 1

好的，这已回答MSDN 论坛。 这一次，我并不是完全愚蠢——这确实可以通过警告来解决。

阅读论坛帖子以获取完整详细信息，但基本问题是 ccrewrite 找不到合约类：它正在 .NET 3.5 CLR 版本的 mscorlib 中查找.NET 4.0 之一。

这可以通过显式列出相关程序集的路径来修复：

> ccrewrite /o:rewrittendummy.exe dummy.exe 
  /libpaths:%SystemRoot%\Microsoft.Net\Framework\v4.0.20506