Examples

See examples/ for runnable scripts.

Script	Shows	Needs server?
`basic.php`	a property that holds, one that is falsified, and tree-based shrinking	No
`property_test.php`	canonical `#[Property]` usage as a real Testo test case	No
`generators.php`	`sample`, boundary bias, `uuid`, `datetime`, `dictOf`, `record`, `flatMap`	No
`state_machine.php`	stateful / model-based testing: `Command`, `Gen::commands()`, `StateMachine::check()`	No

Examples ​