- 390,279 total downloads
- last updated 11/11/2019
- Latest version: 6.4.2-rc
Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.
3 packages returned for Tags:"Postcondition"
- 11,200 total downloads
- last updated 6/3/2019
- Latest version: 2.0.126
Design by contract programming support
Rocket.DbC
by:
glufsaren
- 920 total downloads
- last updated 12/26/2015
- Latest version: 1.0.0.1
Simple Design by contract library supporting PreConditions and PostConditions