iranhoe
-
DBContracts
by: iranhoe- 3,080 total downloads
- last updated 2/9/2019
- Latest version: 1.0.0.4
Library representing the desing by contract programing such as precondition, postconditions, and object invariants -
NContracts
by: iranhoe- 1,489 total downloads
- last updated 2/12/2019
- Latest version: 1.0.0
Library representing the desing by contract programing such as precondition, postconditions, and object invariants