|
ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
|
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. | |
What run_seeds found.
| 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.
| std::optional<ShrinkResult> ravel::RunnerReport::shrunk |
The lowest failing seed, minimized.
Set only if shrink_first_failure was requested and something failed.