Introduction

What Is The Contracts Library?

Ganbaro Digital's Contracts Library provides support for programming by contract to help you prove the correctness of your own code.

Goals

The Contracts Library's purpose is to collect correctness tools and approaches:

• programming by contract - checking inputs and outputs to prove that an algorithm works as intended

Design Constraints

The library's design is guided by the following constraint(s):

• Fundamental dependency of other libraries: This library provides robustness tests for other libraries to use in production. Composer does not support multual dependencies (two or more packages depending on each other). As a result, this library needs to depend on very little (if anything at all).

Questions?

This package was created by Stuart Herbert for Ganbaro Digital Ltd. Follow @ganbarodigital or @stuherbert for updates.