- 364,552 total downloads
- last updated 9/16/2019
- Latest version: 6.3.6-preview
Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.
3 packages returned for Tags:"postcondition"
- 10,854 total downloads
- last updated 6/3/2019
- Latest version: 2.0.126
Design by contract programming support
Rocket.DbC
by:
glufsaren
- 895 total downloads
- last updated 12/26/2015
- Latest version: 1.0.0.1
Simple Design by contract library supporting PreConditions and PostConditions