Ho iniziato da un po’ ad usare i Code Contracts per la validazione dei parametri di input. Oggi lanciando i test sulla factory di una classe che riportava il seguente contratto: Contract.Requires<ArgumentNullException>(code != null, "code");
Visual Studio tornava il seguente errore: “Must use rewriter when using Contract.Requires<TException> […]”
Dopo una veloce “googlata” ho trovato subito la soluzione: di default sul progetto non è abilitata il “Runtime Contract Checking” abilitabile dall’apposito tab dei Code Contracts.
...