-
Notifications
You must be signed in to change notification settings - Fork 0
Building
Building should be as simple as opening CodeContracts.sln and selecting Build Solution from the Build menu.
It is recommended that Express editions of Visual Studio not be used but that should not be a problem for most as a Community edition has recently been released that is similar to Professional without the price tag.
Note that a few projects within the solution have special requirements and may not load correctly, this should not interfere with your ability to contribute.
If the build and subsequent runs of CCCheck are too much for your system to handle, CCCheck can easily be disabled for all projects. To disable static analysis (CCCheck) open ./Microsoft.Research/Common.CodeContracts.props and set the value of the CodeContractsRunCodeAnalysis tag to False. This props file is loaded by most projects within the solution as an MSBuild import and can be used to change other CodeContracts settings as well.