Code Contract's properties in Visual Studio 2010 Pro RC

Question

So it seems there should be a "Code Contracts" tab in Visual Studio 2010's properties. I can't find it anywhere. Maybe it's a problem with my Visual Studio installation? I am running the RC version.

This is what I have:

alt text http://img192.imageshack.us/img192/5928/lcmitpm2aur5e4uiabdtofw.png

Anyone knows what might be wrong? Maybe I am looking in the wrong place?

Thanks

Answer 1

You have to download and install code contracts first. Even then, you'll only get run-time checking of contracts. Static checking requires the premium edition of visual studio.

Answer 2

您是否真的从DevLabs安装了Code Contracts ？