Scout is a Visual Studio extension for discovering and inserting Code Contracts into C# programs. It works by observing a program execution, generating likely properties, and providing an interface for inserting those properties as Code Contracts into the source code.
See the User Manual for more information.
Developer Debug Instructions
Clone this project and open the solution inside Visual Studio 2012 or 2013
ContractInserteras the start up project
Properties -> Debugfor the
Start external programand set it to the path of your Visual Studio 2012 or 2013 executable. For example, on my system the path is
C:\Program Files (x86)\Common7\IDE\devenv.exe
Command line argumentsenter
/RootSuffix Exp. This tells Visual Studio to use an experimental instance for testing rather than the actual Visual Studio installation