Skip to main content

Property Testing

Use this hub to explore the property_testing package step by step.

Start Here​

  • Overview — why property-based testing matters and what the package offers.
  • Getting Started — add dependencies, write your first property, and run it.

Core Concepts​

  • Generators — compose inputs with Generator<T>, map, flatMap, and container helpers.
  • Specialized Generators — leverage higher-level data such as URIs, emails, and colour values.
  • Stateful Testing — model systems with commands and invariant checks.
  • Chaos Testing — stress endpoints with adversarial input suites.
  • Runner & Reporting — configure execution, shrinking, and reporting in CI.
  • Examples — jump straight into runnable scenarios for both simple and advanced setups.

Tip: bookmark this page so you can jump back here as you explore deeper topics.