fast-check vs PropEr

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.

PropEr is a free, open-source testing tool for Erlang programs. It performs automated, semi-random property-based testing and can generate input data from Erlang type declarations. Functions can be tested automatically from information in their Erlang specifications, while properties are written as Erlang expressions with predefined macros. PropEr also supports model-based random testing for stateful systems and targeted property-based testing using search-based techniques. Failing cases can be shrunk, and the project supports EUnit and Common Test. Constraints that Erlang’s type language cannot express can be handled with custom generators; filtering may keep trying random values until one passes. The generator language differs from Erlang’s type language for list expressions, including support for particular list lengths and element types. PropEr is self-hosted, supports Erlang, and is distributed under GPL version 3 or later. The guide describes installation from GitHub source, with make, or through Homebrew.