Fix a typo & clarify wording

This fixes a typo in "Stateful Testing" as well as clarifies the wording of the last point in the FAQ.
Seelengrab · Feb 24, 2024 · a89fdc0 · a89fdc0
1 parent 9d2fdda
commit a89fdc0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/src/Examples/stateful.md b/docs/src/Examples/stateful.md
@@ -69,7 +69,7 @@ nothing # hide
 ```
 
 From the top, we have filling either jug (note that we can only fill the small jug up to 3L, and the large up to 5L),
-emptying either jugo, and finally pouring one into the other, taking care not to spill anything (i.e., any leftovers stay
+emptying either jug, and finally pouring one into the other, taking care not to spill anything (i.e., any leftovers stay
 in the jug we poured out of).
 
 We can very easily now generate a sequence of operations:

diff --git a/docs/src/faq.md b/docs/src/faq.md
@@ -36,6 +36,6 @@ Here's a small (incomplete) list:
  * Easily use temporal & stateful property tests
  * Reproducibly replay previously found counterexamples (with caveats regarding external state)
  * Generate values based on the values that were put into a test, and have those values in turn
-   shrink just as well as the values that were put in
+   shrink just as well as the values that were put in while preserving the invariants they were
+   generated under.
 
-TODO: insert more