Provides support for Design By Contract as described by Bertrand Meyer in his seminal book, Object-Oriented Software Construction (2nd Ed) Prentice Hall 1997 (See chapters 11 and 12).
See also Building Bug-free O-O Software: An Introduction to Design by Contract
Install-Package Dbc -Version 1.1.5
dotnet add package Dbc --version 1.1.5
<PackageReference Include="Dbc" Version="1.1.5" />
paket add Dbc --version 1.1.5
- JetBrains.Annotations (>= 2018.2.1)
This package is not used by any popular GitHub repositories.