#[cfg(not(miri))]
mod model_injector;
mod model_scheduling;
mod serialization;
#[cfg(not(miri))]
mod simulation_clock_sync;
mod simulation_deadlock;
#[cfg(not(miri))]
mod simulation_halt;
mod simulation_message_loss;
mod simulation_no_recipient;
mod simulation_panic;
mod simulation_scheduling;
#[cfg(not(miri))]
mod simulation_ticked_mode;
#[cfg(not(miri))]
mod simulation_timeout;