我正在使用Visual Studio 2010 SP1 Ultimate，我的一些同事正在使用Visual Studio 2010 SP1 Professional。我们都有installed code contracts。在下面的场景中，有没有阻止Visual Studio崩溃？
我们发现在以下情况下，3个视觉工作室专业安装中有2个会崩溃：
合同是在WebActivator“引导”的类中定义的。 Visual Studio在使用razor语法（* .cshtml）
打开MVC 3视图时崩溃
我们发现Visual Studio Ultimate在以下情况下会崩溃：
我们定义了与抽象具体合同类相关的接口合约。注释掉具体类时，Visual Studio会崩溃，但会将该属性保留在关联的接口上，然后进行编译。