Programming by Contract

A proposal for a testing framework in CEL, based on the analogy of contracts. Programming by contract is a well-recognised and supported approach in software engineering, which fosters the use of test-first methodologies.

//TODO: write header file example