Code Contracts on Marko Apfel

Let ReSharper and Code Contracts work together

Sun, 05 Jun 2011 23:55:00 +0200

ReSharper by default does not recognize Contract.Requires as an annotation hint, that the proofed condition furthermore is true.

So it comes to the effect, that using the following contract definition causes ReSharper to squiggle the next access and output a wrong hint:

Code Contracts: For unit test a manual rebuild is needed for toggeling “runtime checking”

Sat, 04 Jun 2011 01:19:00 +0200

Toggeling the checkbox Perform Runtime Contract Checking lets run the next application start with the new set option. But for unit test an explicit new build will apply the option for the next run.