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 |