Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Code Contract's properties in Visual Studio 2010 Pro RC

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

like image 476
devoured elysium Avatar asked Jan 22 '23 13:01

devoured elysium


2 Answers

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.

like image 57
Wim Coenen Avatar answered Feb 14 '23 21:02

Wim Coenen


Have you actually installed the Code Contracts stuff from DevLabs?

like image 26
LukeH Avatar answered Feb 14 '23 20:02

LukeH