# Feature catalog — dubzzz/fast-check

> Canonical page: https://codevetter.com/unpack/fast-check/feature-catalog

# Feature catalog — dubzzz/fast-check

Scanned commit ecf7193810d1057253808105444e147d948051a1 (2026-10-01). Generated by codevetter codevetter 1.15.0 on 2026-10-02.

Source inspection; upstream code and tests were not executed.

Users primarily consume a programmatic API for generative testing and reproducible failure diagnosis. Generator composition, model commands, and promise scheduling support more complex test scenarios. Plugins and framework adapters customize execution and integration. Companion packages and the documentation website provide additional developer-facing capabilities.
- asyncProperty accepts arbitraries and a synchronous or asynchronous predicate; check returns RunDetails, while assert reports failure through a rejected promise by default. — [packages/fast-check/src/check/property/AsyncProperty.ts#L13-L22](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/property/AsyncProperty.ts#L13-L22) [packages/fast-check/src/check/runner/Runner.ts#L92-L96](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/Runner.ts#L92-L96) [packages/fast-check/src/check/runner/Runner.ts#L156-L158](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/Runner.ts#L156-L158) [packages/fast-check/src/check/runner/utils/RunDetailsFormatter.ts#L252-L270](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/utils/RunDetailsFormatter.ts#L252-L270)
- The public generator catalog includes numbers, strings, dates, functions, collections, recursive structures, JSON, entity graphs, network-shaped strings, identifiers, and typed arrays. — [packages/fast-check/src/fast-check.ts#L17-L129](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/fast-check.ts#L17-L129) [packages/fast-check/src/fast-check.ts#L171-L195](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/fast-check.ts#L171-L195)
- sample materializes generated values; statistics classifies values into one or more categories, sorts category counts, and emits percentage lines through the configured logger. — [packages/fast-check/src/check/runner/Sampler.ts#L18-L33](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/Sampler.ts#L18-L33) [packages/fast-check/src/check/runner/Sampler.ts#L51-L52](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/Sampler.ts#L51-L52) [packages/fast-check/src/check/runner/Sampler.ts#L83-L108](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/Sampler.ts#L83-L108)
- modelRun and asyncModelRun execute commands conditionally against model/real pairs; scheduledModelRun combines commands with a scheduler that also supports promises, functions, sequences, waiting, and task reports. — [packages/fast-check/src/check/model/ModelRunner.ts#L47-L93](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/model/ModelRunner.ts#L47-L93) [packages/fast-check/src/check/model/ModelRunner.ts#L144-L157](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/model/ModelRunner.ts#L144-L157) [packages/fast-check/src/arbitrary/_internals/implementations/SchedulerImplem.ts#L131-L156](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/arbitrary/_internals/implementations/SchedulerImplem.ts#L131-L156) [packages/fast-check/src/arbitrary/_internals/implementations/SchedulerImplem.ts#L364-L415](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/arbitrary/_internals/implementations/SchedulerImplem.ts#L364-L415)
- Execution options include seed, randomType, numRuns, examples, replay path, skip tolerance, verbosity, and endOnFailure; public plugins add lifecycle hooks, unbiased generation, equal-value handling, interruption, and predicate timeouts. — [packages/fast-check/src/check/runner/configuration/QualifiedParameters.ts#L34-L53](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/configuration/QualifiedParameters.ts#L34-L53) [packages/fast-check/src/fast-check.ts#L200-L207](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/fast-check.ts#L200-L207)
- Vitest .prop supports tuple or record arbitraries and forwards test modifiers; ordinary wrapped Vitest tests receive context.g. Jest exposes enriched test/it, and AVA testProp exposes only, failing, skip, serial, before, and after. — [packages/vitest/src/internals/TestBuilder.ts#L122-L163](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/vitest/src/internals/TestBuilder.ts#L122-L163) [packages/vitest/src/internals/TestBuilder.ts#L186-L211](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/vitest/src/internals/TestBuilder.ts#L186-L211) [packages/vitest/src/internals/TestAlongGenerator.ts#L29-L53](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/vitest/src/internals/TestAlongGenerator.ts#L29-L53) [packages/ava/src/ava-fast-check.ts#L99-L115](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/ava/src/ava-fast-check.ts#L99-L115)
- Worker properties select file/property/predicate isolation and main-thread/worker generation; poisoning utilities detect or restore global changes, and packaged utilities list published files or remove nonpublished content. — [packages/worker/src/main.ts#L64-L87](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/worker/src/main.ts#L64-L87) [packages/poisoning/src/main.ts#L45-L71](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/poisoning/src/main.ts#L45-L71) [packages/packaged/src/packaged.ts#L10-L14](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/packaged/src/packaged.ts#L10-L14) [packages/packaged/src/packaged.ts#L90-L110](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/packaged/src/packaged.ts#L90-L110)
- The documentation surface offers Quick Start, tutorials, API reference, blog, search, and support navigation; the homepage leads to a Vitest tutorial scaffold containing sort.mjs and sort.test.mjs. — [website/docusaurus.config.ts#L68-L77](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/docusaurus.config.ts#L68-L77) [website/docusaurus.config.ts#L158-L183](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/docusaurus.config.ts#L158-L183) [website/src/components/HomepageHeader/index.js#L37-L40](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/src/components/HomepageHeader/index.js#L37-L40) [website/docs/tutorials/quick-start/basic-setup.md#L20-L45](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/docs/tutorials/quick-start/basic-setup.md#L20-L45)

Every claim links to its cited files at the pinned commit. Citations identify source evidence; they do not establish runtime correctness. Independent CodeVetter scan — not reviewed by upstream maintainers.

## Public product links

- [CodeVetter](https://codevetter.com/)
- [Download](https://codevetter.com/download)
- [Documentation](https://codevetter.com/docs/)
- [Source](https://github.com/Codevetter/codevetter)