Name	Name	Last commit message	Last commit date
parent directory ..
README.md	README.md
SortPropertyTest.php	SortPropertyTest.php

Name

Last commit message

Last commit date

Examples

Runnable examples for rasuvaeff/property-testing-phpunit.

Example	Shows	Needs server?
`SortPropertyTest.php`	A complete property-based PHPUnit `TestCase`: the `PropertyTesting` trait, the fluent `forAll()->runs()->check()` chain, `Classify::when()` distribution labels, and an `Assume::that()` discard — three properties over a plain sort	No

Running

The examples are ordinary PHPUnit test cases. Run them from the package root after composer install:

docker run --rm -v "$PWD":/app -w /app composer:2 vendor/bin/phpunit examples/SortPropertyTest.php