Utilizzare il Code Contracts toolkit con Visual Studio 2012

Chi avesse provato ad installare il Code Contracts toolkit (al momento della scrittura, disponibile nella build 1.4.50813.1) per utilizzarlo con Visual Studio 2012 avrà notato che, anche se l'installazione è apparentemente terminata con successo, tale toolkit non risulta disponibile nelle proprietà del progetto.

In realtà, a valle dell'installazione del toolkit sarà sufficiente aprire un command prompt con privilegi amministrativi ed impartire i seguenti comandi:

cd "C:\Program Files (x86)\Microsoft Visual Studio 11.0\Common7\IDE"
devenv.exe /setup

Al successivo riavvio Visual Studio 2012 mostrerà, nelle proprietà di progetto, l'usuale tab dei Code Contracts.