Skip to content
Provides static classes for representing program contracts such as preconditions, postconditions, and invariants. Commonly Used Types: System.Diagnostics.Contracts.Contract System.Diagnostics.Contracts.ContractClassAttribute System.Diagnostics.Contracts.ContractClassForAttribute System.Diagnostics.Contracts.ContractFailureKind System.Runtime.CompilerServices.ContractHelper System.Diagnostics.Contracts.ContractInvariantMethodAttribute System.Diagnostics.Contracts.PureAttribute System.Diagnostics.Contracts.C
Install

Copy 

dotnet add package System.Diagnostics.Contracts --version 4.3.0

Copy 

<PackageReference Include="System.Diagnostics.Contracts" Version="4.3.0" />

Copy 

Install-Package System.Diagnostics.Contracts -Version 4.3.0

Copy 

paket add System.Diagnostics.Contracts --version 4.3.0
Learn more about paket

Dependencies

Version History

Version
4.3.0 This Version
4.0.1