arene::base::testing::property_summary Struct Reference

result of a property run More...

Public Attributes
std::size_t	discards
bool	failed
optional< property_error >	first_failure
std::uint64_t	seed
std::size_t	successes

Detailed Description

result of a property run

Aggregates the statistics gathered during a property run along with the first counterexample encountered, if any.

Member Data Documentation

discards

std::size_t arene::base::testing::property_summary::discards

failed

bool arene::base::testing::property_summary::failed

first_failure

optional<property_error> arene::base::testing::property_summary::first_failure

seed

std::uint64_t arene::base::testing::property_summary::seed

successes

std::size_t arene::base::testing::property_summary::successes

---

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

• arene/base/testing/property_summary.hpp