List of all items

Structs

• SeedReplay
• SimulationConfig
• SimulationResult
• Simulator
• TraceEvent
• agent::AgentState
• agent::EmittedEvent
• agent::SimulatedAgent
• campaign::CampaignConfig
• campaign::CampaignReport
• campaign::DetailedTrace
• campaign::SeedFailure
• clock::ClockConfig
• clock::ClockSpec
• clock::SimulatedClock
• network::DeliverOutcome
• network::FaultConfig
• network::NetworkMessage
• network::SendOutcome
• network::SimulatedNetwork
• oracle::ConvergenceOracle
• oracle::ConvergenceReport
• oracle::OracleResult
• rng::DeterministicRng

Enums

• DropReason
• TraceEventKind
• oracle::InvariantViolation

Functions

• campaign::replay_seed
• campaign::run_campaign
• campaign::run_single_seed
• sometimes_reaches_interesting_state

Type Aliases

• agent::AgentId