Info
Version: | 1.0.0 |
Author(s): | Emmanuel Benitez |
Last Update: | Thursday, July 3, 2014 |
.NET Fiddle: | Create the first Fiddle |
NuGet Url: | https://www.nuget.org/packages/Code.Contract |
Install
Install-Package Code.Contract
dotnet add package Code.Contract
paket add Code.Contract
Code.Contract Download (Unzip the "nupkg" after downloading)
The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs.
The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.