4 packages returned for Tags:"postcondition"
-
- 1,631,401 total downloads
- last updated 1/16/2023
- Latest version: 2023.0.3
Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library. -
- 79,631 total downloads
- last updated 10/25/2022
- Latest version: 2.0.189
Design by contract programming support -
Rocket.
DbC by: glufsaren- 2,317 total downloads
- last updated 12/26/2015
- Latest version: 1.0.0.1
Simple Design by contract library supporting PreConditions and PostConditions -
- 174 total downloads
- last updated 2/1/2022
- Latest version: 1.0.1-beta
A guard clauses package.