beamr 0.4.5

A Rust runtime with the BEAM's execution model, targeting Gleam
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Deterministic replay support.
//!
//! Replay mode consumes an immutable recorded event log and feeds the recorded
//! decisions back into the runtime at nondeterministic decision points.

mod debugger;
mod driver;
mod file;
#[cfg(test)]
mod file_tests;
mod recorder;

pub use debugger::{
    FunctionInspection, HeapInspection, MailboxInspection, ProcessSnapshot, RegisterInspection,
    RegisterKind, ReplayDebugger, ReplayStepOutcome, StackFrameInspection,
};
pub use driver::{
    CliReplayResult, NativeOutcome, RecordedDeliveryKind, RecordedMessageDelivery,
    RecordedNativeCall, RecordedSchedule, RecordedSelect, RecordedTimerExpiry, ReplayDriver,
    ReplayEvent, ReplayLog, ReplayMismatch,
};
pub use file::ReplayLogFileError;
pub use recorder::ReplayRecorder;