API Reference eta v#0.1.0

The contract between your system and eta_run — Phase 3 of the DST framework (design: docs/design.md).

A deterministic event log, and the thing that makes a failing run readable.

logger for a system under simulation — the same API, routed into eta_log.

A simulated network: seeded message loss, delay and partitions between processes in one VM.

Reading a process's state without asking it — the observability half of the DST framework (design: docs/design.md).

The run driver — Phase 3 of the DST framework (design: docs/design.md).

A serializing scheduler for BEAM processes — Phase 0 of the DST framework (design: docs/design.md).

Delta-debugging a failing trace down to one a human can read — Phase 4 of the DST framework (design: docs/design.md).

gen_statem's own time-outs, on the virtual clock.

A virtual clock and timer wheel — Phase 1 of the DST framework (design: docs/design.md).

A parse_transform that points a module's timer and clock calls at eta_time — Phase 1 of the DST framework (design: docs/design.md).