---
title: Manual
---

# Manual

- [Introduction](./introduction/): what property-based testing is and how sanderling works.
- [Case study: Folio](./case-study/): sanderling finding a real bug in a mobile app, and how the spec is written.
- [Getting started](./getting-started/): install the CLI and run it against Folio.
- [Spec language reference](./spec-language/): every selector, operator, action, and sampler.
- [Runs](./runs/): what happens during a run and why runs are long.
- [Replay](./replay/): the trace browser.
- [CLI reference](./cli/): every command and flag.