php-webmozart-assert 1.0.2-1build1 (amd64 binary) in ubuntu xenial

 This library contains efficient assertions to test the input and output
 of methods. With these assertions, one can greatly reduce the amount of
 coding needed to write a safe implementation.