CsCheck vs fast-check

CsCheck is a free C# random testing library inspired by QuickCheck, intended for self-hosted use. Its composable Gen classes shrink generated cases automatically without Arb classes, and a shrunk case includes a seed that can reproduce a failure. The library supports random, model-based, metamorphic, performance, specification, regression, parallel and equality testing. Parallel tests compare outcomes with possible linearizations and support shrinking. Specification checks can enumerate reachable state spaces exhaustively or sample them, and can test whether declared faults are caught. Its Faster function statistically compares methods to assess whether one is faster and can run as a normal test across platforms. Example tests use TUnit, though the project says CsCheck can be used with any testing framework. The project page reports more than 1,000 F# tests using CsCheck in MKL.NET. NuGet lists version 4.9.1 and installation instructions for the .NET CLI and PackageReference. The project notes that generic recursion limits AOT compatibility; its Dbg module is temporary and may change between minor versions.

fast-check is a property-based testing library for JavaScript and TypeScript. It generates inputs and checks expected behavior across many cases, then reduces a failure to a smaller counterexample to help investigate it. Tests combine arbitraries that create values, properties that describe behavior, runners that execute checks, and plugins that extend runners. It works with Jest, Mocha, Vitest, Ava, Bun, Deno, the Node.js test runner, and other test runners. Runs can be configured with seeds, generated-value sizes, time limits, and result reporting globally or per assertion. fast-check supports stateful testing and reproducible failures; its project also describes fuzzing and generative testing for issues such as race conditions and prototype poisoning. The project is open source under the MIT license, and the listed plan is free. Version 5.x requires Node.js 22.12.0 or later and ECMAScript 2025; TypeScript 5.8 or later is optional.