ravel::Trace Class Reference

Ordered record of everything that happened during a run (scheduling decisions and message fates), plus a running digest of it. More...

#include <trace.hpp>

Public Member Functions
void	record (const TraceEvent &event)
	Appends an event and folds it into the digest.
const std::vector< TraceEvent > &	events () const noexcept
	Every event so far, in order.
std::uint64_t	digest () const noexcept
	A fingerprint of the events so far; equal digests mean identical runs.

Detailed Description

Ordered record of everything that happened during a run (scheduling decisions and message fates), plus a running digest of it.

Two runs made the same decisions exactly when their digests match, which is how replay is checked.

---

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

• include/ravel/trace.hpp