All geek questions in one place

Contract Code Properties in Visual Studio 2010 Pro RC

So, it looks like Visual Studio 2010 should have a Code Contract tab in its properties. I can not find it anywhere. Maybe this is a problem with installing Visual Studio? I am launching the RC version.

This is what I have:

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

Does anyone know what could be wrong? Maybe I'm looking in the wrong place?

thanks

+4
source share
2 answers

First you need to download and install code contract . Even then you will receive a check of contracts at runtime. Static verification requires a premium edition of the visual studio.

+6
source

Have you really installed Code Contracts from DevLabs ?

+3
source

Source: https://habr.com/ru/post/1301290/

More articles:


All Articles