Opinion on property based testing frameworks in C++

• autocheck

  1 125 7.4 C++

  Header-only C++17 library for property-based testing.

I wrote one, though I can't promise it builds right now. I'm on a slow route to resurrect it with a much better project structure.

• rapidcheck

  3 970 3.1 C++

  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Stateful programs properties can either be captured by using generated input to set up the initial state, or for that matter you can also start from a known state. Or you can use the stateful testing framework which is also part of RapidCheck to do more advanced things: https://github.com/emil-e/rapidcheck/blob/master/doc/state.md

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project