arene::base::testing::property_config Struct Reference

configuration for property run More...

Public Attributes
std::size_t	max_discards
std::size_t	required_successes
std::uint64_t	seed

Detailed Description

configuration for property run

Controls how many successful trials must be observed before a property is considered to hold, how many discarded trials are tolerated before giving up, and the seed used to initialize the property's PRNG.

Member Data Documentation

max_discards

std::size_t arene::base::testing::property_config::max_discards

required_successes

std::size_t arene::base::testing::property_config::required_successes

seed

std::uint64_t arene::base::testing::property_config::seed

---

The documentation for this struct was generated from the following file:

• arene/base/testing/property_config.hpp