ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
ravel::RunnerReport Struct Reference

What run_seeds found. More...

#include <runner.hpp>

Public Member Functions

bool ok () const noexcept
 True if no seed failed.
 

Public Attributes

std::uint64_t seeds_run = 0
 Seeds covered.
 
std::vector< Result > failures
 In ascending seed order.
 
std::optional< ShrinkResult > shrunk
 The lowest failing seed, minimized.
 

Detailed Description

What run_seeds found.

Member Data Documentation

◆ seeds_run

std::uint64_t ravel::RunnerReport::seeds_run = 0

Seeds covered.

With stop_at_first_failure, the seeds up to and including the first failing one.

◆ shrunk

std::optional<ShrinkResult> ravel::RunnerReport::shrunk

The lowest failing seed, minimized.

Set only if shrink_first_failure was requested and something failed.


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