13 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.
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
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 and Resharper v9 or higher to use this analyzer. See package... More information