nw-pbt-typescript

What problem does it solve?

Property-based testing for TypeScript/JavaScript applications using the fast-check library, enabling generation of rich input scenarios to validate invariants and guard against edge cases without writing extensive test inputs.

Core Features & Use Cases

• Generates a wide range of inputs (numbers, strings, arrays, objects) with fast-check primitives and combinators.
• Supports stateful/model-based testing and race-condition checks to verify complex interactions.
• Helps uncover edge cases and invariants in algorithms, data structures, and business logic across frontend and backend apps.
• Provides deterministic failure reproduction via seeds and shrink paths.

Quick Start

Run a sample property test that asserts an invariant on an input generator using fc.assert.