Примеры
См. examples/ — исполняемые скрипты.
| Скрипт | Что показывает | Нужен сервер? |
|---|---|---|
basic.php | свойство, которое выполняется; фальсифицированное свойство; shrinking на деревьях | нет |
property_test.php | каноническое использование #[Property] как реального Testo-кейса | нет |
generators.php | sample, смещение к границам, uuid, datetime, dictOf, record, flatMap | нет |
state_machine.php | stateful / model-based-тестирование: Command, Gen::commands(), StateMachine::check() | нет |