Trait miri::MachineStopType

source ·
pub trait MachineStopType: AsAny + Display + Send { }
Expand description

A trait for machine-specific errors (or other “machine stop” conditions).

Implementors§