ravel::Result Struct Reference

How one run ended. More...

#include <simulation.hpp>

Public Attributes
bool	ok = false
	True if the run passed every check.
std::uint64_t	seed = 0
	The seed the run was made from.
std::string	failure
	What went wrong; empty when ok.
std::uint64_t	steps = 0
	Scheduler steps taken.
std::uint64_t	trace_digest = 0
	Equal digests mean identical runs.
std::string	trace_path
	The dumped trace; empty if none was written.

Detailed Description

How one run ended.

---

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

• include/ravel/simulation.hpp