Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Building

Jump to bottom
lesonkorenac edited this page Jul 5, 2017 · 3 revisions

Visual Studio

Building should be as simple as opening CodeContracts.sln and selecting Build Solution from the Build menu.

Visual Studio 2013 is the only version that is supported as a build environment for Code Contracts. 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 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.

Clone this wiki locally