List of all items

Structs

• SimStats
• SimTrace
• TraceEvent
• determinism::DeterminismResult
• diagnosis::CausalEvent
• diagnosis::DiagnosisReport
• diagnosis::FaultCause
• diagnosis::ViolationInfo
• minimize::MinimizedTrace
• replay::ReplayRunner

Enums

• TraceEventKind

Macros

• assert_deterministic

Functions

• determinism::compare_traces
• determinism::verify_determinism
• diagnosis::diagnose
• minimize::minimize_faults
• minimize::minimize_ticks
• replay::replay_until

Type Aliases

• EventId