library pbc

dev-master

9999999-dev

A lightweight Design-by-Contract library for PHP

  Sources   Download

OSL 3.0

The Requires

• php >=5.4.0
• nikic/php-parser 0.9.*@dev
• psr/log *

 

The Development Requires

• phpunit/phpunit 3.7.*
• appserver-io/build 0.1.*

library dbc contract precondition postcondition invariant design-by-contract

0.3.6

0.3.6.0

A lightweight Design-by-Contract library for PHP

  Sources   Download

OSL 3.0

The Requires

• php >=5.4.0
• nikic/php-parser 0.9.*@dev
• psr/log *

 

The Development Requires

• phpunit/phpunit 3.7.*
• appserver-io/build 0.1.*

library dbc contract precondition postcondition invariant design-by-contract