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: To suppress this behaviour ReSharper needs additional external annotations information. I followed in some points this thread: http://stackoverflow.com/qu... ......

Getting the ressources First at all download xUnit http://xunit.codeplex.com/r... xUnit Contrib ReSharper http://xunitcontrib.codeple... This gives you a bridge between ReSharper functionality and your XUnit coding. Installation und Configuration Unzip both archives. xUnit part Configure the code to use xUnit Normally I prefer a single checkout point for my developing solution – this whole bundle I name DevTree. One of the top folders in the hierarchy of this DevTree is a lib-Folder. ......