12 packages returned for Tags:"Code-Contracts"

Microsoft Code Contracts standalone package for MSBuild
Helper package to use with build servers. Contains all CodeContracts binaries and integrates into MSBuild build process.
Resharper Code Contract Nullability
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes. See also: https://www.jetbrains.com/resharper/help/Code_Analysis__Code_Annotations.html You need Visual Studio 2015/2017 and Resharper v9 or higher to use this analyzer. See package... More information
SwissKnife is a lightweight, well-documented and well-tested general purpose .NET class library. It is a natural extension of the .NET framework designed to be used on all types of .NET projects. SwissKnife simplifies common programming tasks like: argument validation (using code contracts), safe... More information
Resharper Code Contract Nullability FxCop Rules
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes. See also: https://www.jetbrains.com/resharper/help/Code_Analysis__Code_Annotations.html You need Visual Studio 2013/2012/2010 and Resharper v8 or higher to use this analyzer. See package... More information