SwiftCheck

Uses the `forAll` quantifier to generate random input data, covering edge cases without manual effort, as shown in the introductory examples testing integer equality and array reversal.

Automatically reduces failing test cases to minimal counterexamples, demonstrated in the Sieve of Eratosthenes example where it pinpointed the bug with input 4 for easier debugging.

Allows any type to participate in testing by conforming to the `Arbitrary` protocol, with detailed examples like `ArbitraryFoo` and `Gen.compose` for procedural generation.

Provides combinators such as `suchThat`, `frequency`, and `choose` for fine-grained control over data generation, enabling custom scenarios like weighted optionals or vowel selection.