iranhoe 


Library representing the desing by contract programing such as precondition, postconditions, and object invariants
  • 303 total downloads
  • last updated 2/9/2019
  • Latest version: 1.0.0.4
  • DBC Contract
Library representing the desing by contract programing such as precondition, postconditions, and object invariants