- Home
- Property-Based Testing Tools
- RapidCheck
On the recordRead 30 Sep 202620 facts
RapidCheck
On the record
- API stability
- The User Guide says the API has not stabilized and may change at any time.github.com · read 30 Sep 2026
- Build
- RapidCheck uses CMake and can be added as a subdirectory to a CMake project.github.com · read 30 Sep 2026
- Build requirements
- RapidCheck uses CMake and requires a C++11-compliant compiler; the README lists Clang 3.5, GCC 4.9 and Visual Studio 2015 as CI compiler versions.github.com · read 30 Sep 2026
- Catch integration
- RapidCheck also documents basic integration with the Catch test library.github.com · read 30 Sep 2026
- Counterexamples
- When it finds a failing case, RapidCheck tries to shrink it to a smaller counterexample.github.com · read 30 Sep 2026
- Documentation status
- The User Guide says it is a work in progress and that some parts are still missing.github.com · read 30 Sep 2026
- Features
- The README lists imperative property definitions, test case shrinking, STL support including maps and sets, and combinators for creating generators.github.com · read 30 Sep 2026
- Generators
- RapidCheck includes generators for common types and combinators for building custom generators.github.com · read 30 Sep 2026
- Integrations
- The README lists integrations with Boost Test, Google Test and Google Mock.github.com · read 30 Sep 2026
- License
- The repository identifies its license as BSD-2-Clause.github.com · read 30 Sep 2026
- Limitations
- The user guide says it is a work in progress, and the API has not stabilized and may change at any time.github.com · read 30 Sep 2026
- Property checks
- Properties are implemented as callables passed to rc::check, and RapidCheck repeatedly calls them with generated inputs.github.com · read 30 Sep 2026
- Purpose
- RapidCheck is a C++ framework for property-based testing inspired by QuickCheck and similar frameworks.github.com · read 30 Sep 2026
- Requirements
- RapidCheck uses C++11 and requires a compliant compiler.github.com · read 30 Sep 2026
- Shrinking
- When a property fails, RapidCheck tries to find the smallest failing test case and displays it as a counterexample.github.com · read 30 Sep 2026
- Stateful testing
- The README describes stateful testing based on commands in the style of Erlang QuickCheck.github.com · read 30 Sep 2026
- STL support
- Built-in arbitrary-value generation supports types including vectors, maps, sets, tuples, pairs, strings and chrono types.github.com · read 30 Sep 2026
- Test defaults
- A property passes by default after 100 successful tests, and the number is configurable.github.com · read 30 Sep 2026
