From 057d39d7c63e52cfd97bfe70ce5706baedf1568e Mon Sep 17 00:00:00 2001 From: PJ Date: Tue, 9 Jun 2026 19:52:06 +0530 Subject: [PATCH] docs: point manual navigation at the case study --- docs/index.md | 6 +++--- docs/manual/index.md | 4 ++-- docs/manual/introduction.md | 6 +++--- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/index.md b/docs/index.md index 91965a0..95529d1 100644 --- a/docs/index.md +++ b/docs/index.md @@ -6,13 +6,13 @@ title: Sanderling Manual sanderling tests mobile and web apps by exploring them on its own and checking rules you write. You state properties that must always hold ("a new account starts at zero", "the app never throws"). sanderling drives the app for minutes or hours through thousands of taps, swipes, and inputs, and records every step where a property breaks. One TypeScript spec runs against Android, iOS, and web builds of the same app. -Alpha: the scope of v0.1.0 is tracked in [issue #4](https://github.com/priyanshujain/sanderling/issues/4). +Alpha: the scope of v0.1.0 is tracked in the [v0.1.0 milestone](https://github.com/priyanshujain/sanderling/milestone/1). ## Manual - [Introduction](./manual/introduction/): what property-based testing is and how sanderling works. -- [Getting started](./manual/getting-started/): install and run a first test against the example app. -- [Writing specs](./manual/writing-specs/): build a real spec from scratch, one concept at a time. +- [Case study: Folio](./manual/case-study/): sanderling finding a real bug in a mobile app, and how the spec is written. +- [Getting started](./manual/getting-started/): install the CLI and run it against Folio. - [Spec language reference](./manual/spec-language/): every selector, operator, action, and sampler. - [Runs](./manual/runs/): what happens during a run and why runs are long. - [Replay](./manual/replay/): the trace browser. diff --git a/docs/manual/index.md b/docs/manual/index.md index a3c10cf..1f66d4d 100644 --- a/docs/manual/index.md +++ b/docs/manual/index.md @@ -5,8 +5,8 @@ title: Manual # Manual - [Introduction](./introduction/): what property-based testing is and how sanderling works. -- [Getting started](./getting-started/): install and run a first test against the example app. -- [Writing specs](./writing-specs/): build a real spec from scratch, one concept at a time. +- [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. diff --git a/docs/manual/introduction.md b/docs/manual/introduction.md index 6687d74..f2cff0a 100644 --- a/docs/manual/introduction.md +++ b/docs/manual/introduction.md @@ -82,9 +82,9 @@ Kotlin Multiplatform apps need nothing special: the Android build is tested thro ## Reading this manual -- [Getting started](../getting-started/) installs the CLI and runs a first test against folio, the example app. -- [Writing specs](../writing-specs/) builds the folio spec from scratch and teaches every concept along the way. -- [Spec language reference](../spec-language/) lists every selector, operator, and action. +- [Case study: Folio](../case-study/) follows sanderling finding a real bug in the example app, and shows how its spec is written. +- [Getting started](../getting-started/) installs the CLI and runs it against Folio. +- [Spec language reference](../spec-language/) lists every selector, operator, action, and sampler. - [Runs](../runs/) explains what happens during a run and why runs are long. - [Replay](../replay/) covers the trace browser. - [CLI reference](../cli/) lists every command and flag.