Module network 

Structs

DeliverOutcome

Result of delivering all ready messages for a round.

FaultConfig

Fault injection configuration for simulated network delivery.

NetworkMessage

Message carried by the simulated network.

SendOutcome

Result of a send attempt.

SimulatedNetwork

Deterministic fault-injecting network model.