Info
| Version: | 1.10.20606.1 |
| Author(s): | logozzo, mbarnett, maf, dannyvv, seteplia, sharwell |
| Last Update: | Monday, June 6, 2016 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/Microsoft/CodeContracts |
| NuGet Url: | https://www.nuget.org/packages/DotNet.Contracts |
Install
Install-Package DotNet.Contracts
dotnet add package DotNet.Contracts
paket add DotNet.Contracts
DotNet.Contracts Download (Unzip the "nupkg" after downloading)
Dependencies
1 package depend on this package.
Programming with contracts means writing extra pre-conditions, post-conditions, and object invariants in your code.