Eris Runner is a test runner for Eris
With this runner you don't need an extra testing framework to run your Property Based Testing.
All you need is a directory or a file with properties written like this:
<?php
property ("strings have the same length in reverse", function() {
forAll (Gen::string()) (function ($s) {
Assert::same(strlen($s), strlen(strrev($s)));
});
});
property ("positive integers squared are always bigger than themselves", function() {
forAll (Gen::integer())
// ok zero * zero is still zero
->when (function($x) { return $x > 0; })
->then (function ($x) {
// Should fail! Did you think about 1? ;-)
Assert::greaterThan($x * $x, $x);
});
});Then just call the runner to run all tests in the tests folder:
$ bin/eris testsOr a single php file:
$ bin/eris my_test.phpNote that Eris Runner lets you use Webmozart's Assert library as assertions. But you can use whatever you like. Just make sure you throw some exception.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent