Module exec 

Instruction-step execution surfaces.

Re-exports

pub use crate::integration::run_loaded_protocol_machine_record_replay_conformance;

pub use crate::integration::LoadedProtocolMachineReplayConformance;

Structs

ExecResult

Structured result of one execution step.

StepPack

Generic execution pack carrying updated coroutine state plus step result.

Enums

ExecStatus

Execution status after one step/round.

StepEvent

One execution event emitted by a step.