- 365,494 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,891 total downloads
- last updated 6/3/2019
- Latest version: 2.0.126
Design by contract programming support
Rocket.DbC
by:
glufsaren
- 897 total downloads
- last updated 12/26/2015
- Latest version: 1.0.0.1
Simple Design by contract library supporting PreConditions and PostConditions